Do not always initialize type variables at begin of method
Instead, check for their usage inside method bodies and replace with a
lookup on the __generic static holding a map keyed by placeholder with
the type variables' types