Add parse2BeforeT and parse3BeforeT
Fix type unification to handle skolems properly
Clean up and rename some functions for dealing with function types.
Make buildFixT work with polymorphic functions
Implement worker/wrapper split 1-beta