Add predicate operations for type checking