First steps towards syntax checking.
Good messages for some syntax errors.
Syntax checking for type variable shadowing and unbound type variables.
Some work on checking function paths in the syntax checker.
Syntax checker done.
Changed some tokenizer function names.
Cleanup of the syntax checker.