Tack types onto globals in Imperative/CPPCG.
Make patchables aware of polymorphic functions.
Produce C types for declared type variables.
Attach template instantiations to polymorphic function calls.
Generate top-level polymorphic functions in C++.