More readable parser priorities
More readable parser priorities

    * Changed parser priorities to reflect behaviour better
    * Behaviour should not change by this
    * Removed Weak Until operator (not supported by ltl2ba)

Meijuh/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,thedobs/LTSmin,Sybe/composition,Meijuh/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,alaarman/ltsmin,trolando/ltsmin,alaarman/ltsmin,buschko/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,Sybe/composition,lordqwerty/ltsmin,thedobs/LTSmin,lordqwerty/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,Sybe/composition,trolando/ltsmin,Meijuh/ltsmin,buschko/ltsmin,Meijuh/ltsmin,trolando/ltsmin,Sybe/composition,thedobs/LTSmin,alaarman/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,buschko/ltsmin,buschko/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin