version 0.10
the version of 0.9 from the public announcement
new type checker and better error messages
Fix a small but fairly serious bug in ordering let-bound variables.
Bump version number and remove unused dependencies.