core tetra: break Alts, Ctor and Lets conversion out into their own modules