Started an easier interface for working with the SMT solver.