At this point (and continuing with #95), we have tons of different recipes for doing translations, particularly M2Ls. I think those should be objects in their own right (to simplify dispatch to code generation), instead of harboring if/then/else "which mode" soup in the methods of the expansion. These methods are a good example of holding the target expansion responsible for knowing more than it should about the translation:

cc @isuruf