removing uses of env.use_eq, and using use_eq with the expected type in pattern typechecking
removing uses of env.use_eq, and using use_eq with the expected type in pattern typechecking

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar