(in active development) Abstract object-based TypeSystem interface with a support for various commonly used runtime-based type systems (smart-types, thy-types and others). Allows you to use any runtime type system in any Ruby project (https://github.com/smart-rb)