closes #143
bad syntax highlighting.  bad!
missed one file
Implements additional well-formedness error checking (duplicate identifiers in a single block; shadowed bindings; mixed variable and identifier bindings; pointless anonymous variables; and revises unbound identifiers a bit).  Closes #98.
new snapshot