pub fn wtype(atoms: &[SAtom]) -> &SAtom