Revert "***SOURCE CODE CHANGE*** for new inference; unusual interaction of subtyping constraints being solved more eagerly than before"
Revert "***SOURCE CODE CHANGE*** for new inference; unusual interaction of subtyping constraints being solved more eagerly than before"

This reverts commit 55bf05bff9c8402387790adebb976f461dc001fa.

A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar