Make Typeable a superclass of MapleableType
Simplify functions from ()
Spell-check error message
Add swap_ macro to exchange the 2 parts of a pair
Make Bool comparable (an instance of Order_)
Add some disintegration+simplification tests