atom? and lat? and the other core predicates