Generalize free-deBruijn-var-bug solution to most Unbound binders.

The (commented out) 'SubstM' instance for Unbound's 'TRec' binder does
not type check, but there is no 'Subst' instance for 'TRec' in Unbound
itself, so I'm not too worried about it.