document Automaton module
document CodeGen module
comment TH.hs