don't match equalities of the RHS of a sequent in its term structure

This might fix a bug in rule matching...