A new implementation of RBS in Ruby on Rails