Add a `ValidPort` refinement type for port numbers (0-65535 range). TCP operations like `tcp-listen` could require `ValidPort` instead of `Natural`, catching invalid port numbers at type-check time.
Add a
ValidPortrefinement type for port numbers (0-65535 range).TCP operations like
tcp-listencould requireValidPortinstead ofNatural, catching invalid port numbers at type-check time.