Revised the SMT interface some more, started adding in the ML functions.