started test for LTL variables
ltl variables are gradually starting to work
LTL variables seem to work quite well, might need some more testing
changed syntax for let to colon
- working on LTL  variable support
- added support for colon notaion in forall and exists
pattern matching in LTL variables works!!!
Added test for LTL pattern matching variables.