hasmtlib-2.7.0: A monad for interfacing with external SMT solvers