add support for full names of LTL operators

as a regexp substitution prior to parsing, by default turned off.

close #3