Functorized compiler upon Action module. Step towards group table compilation.
Typo in pretty-printing: Union (+) printed as Seq (;).