Removed classes representing TYPE-SPECs in favor of just the type tree.