Trivial change.
Use <|> for expressing alternatives.
Strictly compute state numbers.
Unpack the field of State.
Hold the current number of states during the construction of Goto.
State is now just a newtype of Int.
ACMachine has tables of Vector converted from HashMaps.
Rename internal types.
Merge branch 'optimization'