SMT Types