Specialize Contract with subclasses.
Do not keep context in TypeError, leads to test freeze.
Allow unnamed constraints.
AdType#jsType is not required.
Split unit and integration tests (mocha)
Enhance TypeError with debugging support.
Refactor reusable contracts and add JsType
System#import and System#uses are optional.
Add support for a world in JsType contract.
Add support for a world in Contract#dress
Let Type#dress accept a world. Adapt Monad to use it.
Add a default world on Finitio itself.
Allow non Function on JsType#dress

Remove oldie.
Fix TypeRef in Meta.
Add collaborative proxy resolution algorithm.
Fix TypeError resolution problem.
Spacing.
Switch to the new parsing+compilation approach.
Add acceptance testing to TDD.
Fix a few test expectations regarding error messages.