Fixed SMTEnum as datatype
Corrected SMTType instance for Naturals