Optimize meta-variable inversion.
Optimize meta-variable elimination when whnf'ing