ensure Expr.Const equality -- theoretically we were already fine because
ExprTypeImpl does use case class.