create type class Expr and instance of Expr for ExprT type