The SUCCESSOR argument is now often optional.
Fixed a bug in REMOVE-NOP-INSTRUCTIONS.
Implemented DEFTYPE and some standard types.