Parser errors are frequently misleading

[raxod502]

Due to the way the parser's pattern-matching currently operates, a misuse of special forms such as defn, let, or do will result in special forms being translated as regular function calls. This produces misleading errors from the type checker such as free variable "with". Instead, misuse of special forms should produce specific error messages from the parser.