hax-lib: prop: allow equality on every type#1352

W95Psp merged 2 commits intomaincryspen/hax:mainfrom

prop-eq-any-typecryspen/hax:prop-eq-any-typeCopy head branch name to clipboard