Check runtime types of modules in JS
Update copyright
Align error messages properly in JS
Add gradual check at def initialisation
Fix a couple of bugs in dialect dialect
Add gradual check for var initialisation
Add gradual checks for object var/def
Fix lost generic parameters
Fix error in JS gradual check of vars
Expose types in modules in JS
Retain annotations on types through resolution
Handle bare x.y patterns when rewriting
Make types at top level available on module
Give error when too many arguments given to method
Allow blocks to have extra arguments
Fix access to local variables in inheritance
Avoid excess := added to methods in JS
Fix interpreter out-of-bounds error
Fix the obvious fatal errors in interpreter
Update documentation for recent changes