Language.Syntactic.Interpretation.Equality
class
Equality
expr
equalDefault
exprHashDefault