Is `handsoff` necessary?

[nfrisby]

The handsoff pass prevents row unification from articulating an untouchable variable. At first blush, that seems right.

However, because of the Ren-based approach, articulation is a "pure" operation: its has no effect outside of the scope of the givens that incurred it. So does touchableness matter?