Support type params for known signatures

[ksss]

$ bundle exec rbs prototype runtime 'Array' | head -n 1
class Array

$ bundle exec rbs prototype runtime 'Hash' | head -n 1
class Hash

But, class Array and class Hash are RBS raising RBS::GenericParameterMismatchError.

I propose giving type_params if it is a known type.

$ bundle exec rbs prototype runtime 'Array' | head -n 1
class Array[unchecked out Elem]

$ bundle exec rbs prototype runtime 'Hash' | head -n 1
class Hash[unchecked out K, unchecked out V]

This is useful for code that extends a core class such as ActiveSupport.

[soutaro]

👍

[soutaro]

Can you resolve the conflicts? and it will be merged.

[ksss]

Thank you for reviewing.
I resolved conflict. And please excuse force push.