These functions return true if expr is of the specified type, and false otherwise.

An expression is of type boolean if it is of type relation, type logical or one of the Boolean constants true, false, or FAIL.

An expression is of type relation if it is of type , ``, , or ``.

An expression is of type logical if it is of type `and`, `or`, `xor`, `implies`, or `not`.