Example.
Proper type generalization.
Proper type generalization.

Also, since we need the emission to be typed, we have to reinfer all
types after reduction. In particular, the type of allocations in
reinfered.