Push a type environment through EmitC and eliminate one more FINISHME
Eliminate another FINISHME, but this one was not exercised.  Needs to be tested:  all top-level free vars should of course be bound in the type env.