+ ** The type error thrown by MAP now has a correct expected-type
+ cell.
+ ** DISASSEMBLE now throws a TYPE-ERROR when its argument does not
+ name a compiled function.
+ ** Three MISC tests where a large bignum was improperly coerced to
+ a float that couldn't represent that bignum during type
+ derivation were fixed.
+ ** SUBTYPEP can now handle types involving the negation of a
+ list-form FUNCTION type.
+ ** SUBTYPEP also now handles certain COMPLEX type specifiers such
+ as (COMPLEX (AND RATIO (NOT FIXNUM))).
+ ** READ-BYTE and WRITE-BYTE no longer take stream designators.