Generating absyn.mo