[Feature Request] Support for RBS 2.0 Bounded Generics

[tlubz]

RBS 2.0 added support for bounded type parameters on generics: https://github.com/ruby/rbs/blob/master/CHANGELOG.md#bounded-generics

Can we see bounded generics checked correctly in steep? We would like to begin using these for e.g. generic Response[T < _Base] types, to prove that T responds to members of _Base.

If this is already being worked on, is there a target for which gem version will contain this functionality?