Forced through extra typeable constaints
Provide or derive typeable instances.  Dynamic failure when trying to unpack t2b
Improving error messages for projection/layouts
Put in missing PushLayout