Use a variable in the subtyping algorithm.

[dannywillems]

x : mu z. T[z] => x : mu y. T[y] --> x : T[x] => x : T[x].