Fixes #251, by providing builtin locations for the let-bindings of imported names.
removing standalone toplevel-binding annotation forms.  Fixes #252.
Add raises-other-than, does-not-raise. Rename satisfies-not to violates.
Emacs highlighting.
merge with master
add ref syntax as a no-op