Made 'Traversable' a proper module, with decent import/exports.
Container of trivial isomorphisms.

This doesn't work well, because we can't properly communicate the constraints.
Explicit multiple isomorphism-methods in curry class.

Works now, but while documenting detected a flaw in using '()' as the fixed unit type... make that a constraint as well.
Working implementation of unit types.