Make QCF more incremental.  Fix bug in QCF handling of ITE formulas, add support for ITE terms.  Add full-delay inst-when mode.  Make strings come before quantifiers in check.  Minor cleanup.
type conversion
Merge branch 'master' of github.com:tiliang/CVC4