This function will return true if expr is an expression of the form returned by the function ifactor, and false otherwise.

The numbers , , and  are considered to be of type facint, but all other integers and rationals must be passed through ifactor before type/facint will return true when applied to them.