smart_type-system (rubygems): Abstract Type System with a support for various type systems
Keywords: ruby-type-interface|ruby-type-system|ruby-types|smart-rb|type-object|type-system