Reverted symbols to atoms; discarded binding rules.
Add lexing rules for expressions
Add parsing rules for vectors.