Refactor grammar for Datum and Expression types.
Implement proper identifiers. Refactor some parser names.
Handle (quote ...) form. Handle arbitrary spacing in lists.
Tests for variable and constant expressions.
Implement if-then and if-then-else.