A type system for Ruby supporting coercions, constraints, and complex types like structs, value objects, and enums.