What about `reifyFreeTerm` in `GenSymbols`? Does it deserve to be marked `STABLE` as well?