finally implements correct handling for Mod.Abstract
assorted type test
better ensugaring for types (Placeholder and ApplyInfix still not supported)
reliably ensugars self tpt