Runtime type-checking for Ruby. Enums, properties, generics, structured objects. Type-check object properties at runtime.