Re: [cl-unification-devel] Questions and patches involvingcl-unification's MATCH* macros