Fix -dsource output (#7)
Check path arities in Ctype.subtype, may solve #10
Typetexp: fix processing of implicit binders (#1)
Add some test cases