Extending unification

[swi]

@jan

As said, you can get what you want by never instantiating anything and keeping all values in attributes.

I see, yes. It is rather clumsy, like you said, but could be useful. Thanks.