Refactor/enhance all important equality methods.
Remove unnecessary comment.
Document Type's public API a little bit.
Merge TupleType & MultiTupleType, same for Relation.
Export main type classes on Finitio.
Allows dots in heading definition.
Add Type#isSuperTypeOf
Add Utils#triSplit
Add high-level features about types.
Add features about the type hierarchy.
Enforce the hierarchy of the test system.
[WIP] Type#undress