[rbs/test] Check type arguments size

[ksss]

Regarding the rbs/test feature, currently, mismatches in the number of type arguments,
such as Array or Array[Integer, String], are permitted.
I have made a modification to be stricter and check if the number of type arguments matches the definition.

• Array
  • Before -> ✅
  • After -> ❌
• Array[Integer, String]
  • Before -> ✅
  • After -> ❌
• Enumerator[Integer]
  • Before -> ✅
  • After -> ✅