isCongruent

Return true if this node is (hierarchically) congruent to the
given node, under the given renaming of bound identifiers.
Derived classes should extend this method to add additional
necessary congruency checks.