Add SMTType instance for UntypedExpr