Implement more of the L1 -> L2 translation
Implement the remaining recursivelyImportExternal* functions.