when checking pattern bv terms, extend the env as we move from left to right
when checking pattern bv terms, extend the env as we move from left to right

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar