Implement more of the L1 to L2 translation. The only thing missing is now the final alias symbol fixup and a utility function to make a user friendly name for an L2 identifier.