dm.AtomType, dm.atom, dm.typedAtom, dm.num, dm.str, dm.bool