… subst- function as it was redundant.
…fy-variable (i.e. occurs or not). Instead, created a macro create-var-unification-fn to build the correct form of the variable unification function depending on the desired occursness. This macro will compile in the occurs check only if desired. This is an aspect of macros not advocated by Christophe. ;-)
… will understand Maven