New types
Removes Transformable1 constraint
Types
Simplified complex combinators