SmtEngine::getValue() can throw a TypeCheckingException
Single -q quiets messages/warnings.  Double -qq silences sat/unsat output too.
Re-enable predicate subtyping, reversing commit 8f9f549 (needed for Kind integration)
fix for lambdas in relation to subtypes
lambda-related fix
subrange-related fix