Fixed buildability.
Added support for tableswitch.

To do so, I also fixed(?) the handling for DFA_Align, and implemented
Functor and Applicative instances for sake of convenience. If only I knew
their value back then.