unit enforcement and atom_types