syntax: util: fix the Tm_refine case in term_eq
syntax: util: fix the Tm_refine case in term_eq

with @danelahman

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