More consistent use of type constructors
Added support for unbound type parameters in the type cluster
Fixed some includes
Made Maybe.Nothing use an unbound type parameter + fixed isEqual: accordingly
Rewrote Either with type cluster
Moved Either to the library
Moved some names out of the way
Implemented standard tuple helpers
Moved Tuple to library
Cleanup