Misc. grammar fixes

Add some documentation as @arfon requested. Also bringing in a new Racket grammar that should fix the issues with square brackets and whatnot.

cc @aroben