recognize &, | tokens in ply parser
make ply the default parser generator
replace: next -> X to comply with tulip LTL syntax, typofix env -> sys