Language.Syntactic.Interpretation.Equality

class Equality expr