Remove effectively dead make-message-exception, and related cleanups

In -library mode, check blocks were not being dropped because the
no-checks-visitor wasn't visiting nested blocks.  Fix that.

Also, noticed that the check block in test-binops was never being run while
doing this, so unwrap and fix that
rebootstrap with no make-message-exception
parse-test also depends on these two files
Prevent - at end of identifiers, closing #222.
 - Add tests to warn on regression.
 - No regex constructions that aren't already in use are used in this fix.
   Hopefully this implies no new browser incompatibility.
Allow multiple hyphens in a row, and add more parse tests
Use Ben's regex
Merge pull request #223 from Ericson2314/master

Fix #222
type instantiation now parses correctly. Here's why:
 - All symbolic operators require whitespace on both sides
   (+ - * / >= <= > < <> ==
    - Should "and" "or" "raises" and "satisfies" require that too?
 - type instantiation and friends no longer accept LT and GT
Most ops defined with new function `op`, English ops defined `kw`

newlines before and after operators, and betwen symbolic and infix ops
Caret is now an op, put with the other ops (moved over disjoint regexps)
Match trailing whitespace with more tokens (see table below)

              | check + match  | have
              | trailing space | `parenIsForExp` set
--------------+----------------+--------------------
`COMMA`       |                |        X
`THINARROW`   |                |
`THICKARROW`  |       X        |        X
`COLONCOLON`  |       X        |
`COLON`       |                |        X
`EQUALS`      |                |        X
`COLONEQUALS` |                |        X
Add space around caret / cannonball operator in src, tests, and doc utilities.
Update Bootstrap grammer
Update Bootstrap tokenizer
s-instantiated now desugared by erasure in anf.arr
anf.arr as opposed to desugar.arr to support future type checking of it
Add tests to prevent parser tokenizer regressions

Also add missing semicolon after existing test
Test to make sure ops can't be identifiers
Test more combinations of English ops as identifiers and whitespace
Add more tests about english ops, whitespace, and parens