Binary ltl operator precedence test added
Fixed binary ltl operator precedence
Added pattern definition + calls
Added symbol checker using a symbol table with scopes