erase ascriptions in `inline_closure_env` if steps.unascribe
erase ascriptions in `inline_closure_env` if steps.unascribe

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