tc: rel: make sure `reify _` is properly normalized for unification
tc: rel: make sure `reify _` is properly normalized for unification

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