prove collapse preserves wfs (in examples/unification/triangular)
add a note about using walk* rather than apply o collapse for triangular substs