Allow "inert" parameterized type at the bottom of the stack.
Simplify TransfigureTo code.