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

This reverts commit 6ad34656a804f89552eaaae865d08778cdbda3eb.

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