Fix #3: bind implicit args while processing type declarations
Fix -dsource output (#7)
Check path arities in Ctype.subtype, may solve #10
Typetexp: fix processing of implicit binders (#1)
Add some test cases
Add a README with build status.
Fix bug in type marking when replacing variables with abstract types
Always generalize implicits before running regular generalization
Generalize implicits when we leave an implicit function declaration
Add forwards propagation over implicit function defintions
Move examples to the test suite