Don't need REDUCE-CLASSIFICATION/INTERNAL (yet?)
Kill TYPE-INFO