Various fixes#86

Open

uhoreg wants to merge 6 commits intosolnic:mainfrom

Commits on Nov 14, 2025

correctly constrain Cast types
uhoreg
committed

Commits on Nov 18, 2025

Commits on Nov 20, 2025

also handle :and clauses in new/2 in Drops.Type macro
uhoreg
committed

Commits on Nov 22, 2025

correctly constrain Union types
uhoreg
committed

Commits on Nov 25, 2025

fix list typespecs
uhoreg
committed