operators [trip2] [minpath] and [minpaths] implemented. Abc.arr split into Abc.arr and alphabet.arr. alphabet.arr offers more letters but does not distinguish between req and ack, which makes it easier to debug automata computations. [ as of corporate 8fff88855dafdb226cdc6fd74fe1d2e75ccf4f2a ]