resugaring: Replace unused binders with underscores in patterns
resugaring: Replace unused binders with underscores in patterns

Co-authored-by: da39a3ee5e6b4b0d3255bfef95601890afd80709@kyoDralliam

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