More functions for finding elements in lists.
A convenience-form of make-variable-disjoint.
Introduced "twisting"-construction.
Added two examples to UHIT'(3) catalogue, obtained via twisting.