Allow Tm_bvar in resugar since it could happen when printing a subterm of a term that is not opened
Allow Tm_bvar in resugar since it could happen when printing a subterm of a term that is not opened

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