Created a parser for a simple grammar with a direct correspondence with rules and terms. Worked some on the parser and discovered a bug related to free variables in solver terms.
Fixed solver problem thing