Run the ST ranked binding monad. N.B., because STVar are
rank-2 quantified, this guarantees that the return value has no
such references. However, in order to remove the references from
terms, you'll need to explicitly apply the bindings and ground
the term.