First cut at unify.  Adpated from Bodil's version
First cut at unify.  Adpated from Bodil's version
First cut at unify.
Added goal function
Added run function
Added choice goal
Now I know why Bodil did that
Whoops.  Flattening the success path
Cleaning up a bit
Bumping the version