feat: business invariants for `NonEmptySet`#645

Draft

sterraf wants to merge 5 commits into

txpipe:mainfrom

sterraf:NonEmptySet_newtype

Commits on Apr 14, 2025

Commits on Apr 15, 2025

Merge branch 'main' into NonEmptySet_newtype
sterraf
committed

Commits on Apr 21, 2025

Merge branch 'main' into NonEmptySet_newtype
sterraf
committed

Commits on Apr 25, 2025

Merge branch 'main' into NonEmptySet_newtype
sterraf
committed