Add all new tests that already pass with old tokenizer
Add space around caret / cannonball operator in src, tests, and doc utilities.
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
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
Update Bootstrap grammer
Update Bootstrap tokenizer