Ltl parser with constants and compatibility test
Required libs
Unary operations added
Added binary operations