start to formalize the grammar for expressions, literals, and types