Infix alias of match for Any operands: tells whether this and other (both auto-toTerm-ed) unify, with occurs-check enabled, using this scope's unificator.
Any
this
if this or other cannot be converted into a Term (see toTerm).