Adding grammar for terms, formulas, statements