Don't pass used unique variables to metavars

We can't use them anyway, and the resulting application won't typecheck
if we're not careful to remove them.