Add new shorter predicates for testing machine operands for various types: