improved the grammar for LTL. Now you can write complex LTL expressions. There are some questions that need to be answered next, in order to better improve it