Implemented ltl syntax in grammar
merged
merged again