more reduction in tc_pat (still trying to fix regression in LowParse)
more reduction in tc_pat (still trying to fix regression in LowParse)

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