Type system for Ruby supporting coercions, constraints and complex types.
