when combining refinements using meet/join, add squash if needed to properly constrain universes
when combining refinements using meet/join, add squash if needed to properly constrain universes

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar