SMT standard profile Types