This code illustrates unification (using destructive pointer update)
in the presence of parameters.

Author: Frank Pfenning
Spring 1998
Updated Fall 1999
