more specific types for theory/axiom predicates