Add instances of Expr for diff types