Companion to the Scala std lib, providing useful subtypes like `PositiveInt` or `MatchesRegex` as well as the ability to define custom validations.

Makes `A | Null` work with for-comprehensions

Makes union types work with for-comprehensions (like scala.Either, but without the allocation cost).