First implementation of (non-destructive) unification