Term feature for testing equality of two terms. The feature returns zero iff
it is invoked on a term that is equal to the current value of
pattern.
NB: it is not possible to use general ProjectionToTerm here,
because the information necessary to evaluate a ProjectionToTerm
is not available in a term feature