Environment arguments to type functions

[Nikodemus Siivola]

Functions SUBTYPEP, TYPEP, UPGRADED-ARRAY-ELEMENT-TYPE, and
UPGRADED-COMPLEX-PART-TYPE now have an optional environment
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.

[Tobias C. Rittweiler (tcr)]

I think the following test case is related. If I don't get anything wrong, it should print T both times
when being compile-and-loaded.

  (eval-when (:compile-toplevel)
    (deftype bar () 'fixnum))

  (defmacro frob-with-bar (thing &environment env)
    (if (typep thing 'bar env)
        t
        nil))

  (defun quux1 ()
    (frob-with-bar 42))

  (print (quux1)) ; will print T

  (eval-when (:compile-toplevel)
    (deftype foo () 'fixnum))

  (eval-when (:load-toplevel :execute)
    (deftype foo () 'string))

  (defmacro frob-with-foo (thing &environment env)
    (if (typep thing 'foo env)
        t
        nil))

  (defun quux2 ()
    (frob-with-foo 42))

  (print (quux2)) ; will print NIL