added typechecking of enumerable types to precondition atoms