Change SMTBackend interface to use a concrete type for SMT requests