Environment arguments to type functions
Functions SUBTYPEP, TYPEP, UPGRADED-
argument, but they ignore it completely. This is almost
certainly not correct.
Bug 310120 is one example of problems caused by not having a separate
compilation environment, and TYPEP not using the third argument.