optimization: reduce number of calls to (lexfn/unify) to avoid costly copying.