propagating the unambiguous type strings fix to other error messages, restoring the options back ***NO_CI***
propagating the unambiguous type strings fix to other error messages, restoring the options back ***NO_CI***

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