Make `defaultTypedTerm` discharge remaining constraints after defaulting.
Make `defaultTypedTerm` discharge remaining constraints after defaulting.

Fixes #328.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script