Consider the following abstract syntax for a simple expression language. The Plus operation results in an integer, the result of Equal

operation is a boolean and the Not operator can only be applied to boolean types.

data Exp $=$ Con Int $|$ Plus Exp Exp $|$ Equal Exp Exp $|$ Not Expr

What is a proper semantic domain for defining the denotational semantics?