Investigate adding type checks to the project

[chrisalley]

Despite some views to the contrary, types can add extra safety and stability to a project, at the expense of some extra typing/more verbose code.

Since Ruby is a dynamically typed language, if Pundit Matchers was to add type signatures to the project, this would need to be added as a seperate dependency. Some options include:

---

RBS

https://github.com/ruby/rbs

The official way of writing type signatures, a seperate gem but part of the Ruby project. Signatures are written in a seperate file and can be tested.

Sorbet

https://sorbet.org

Another type checker from Stripe that predates RBS. Type signatures are written in the same file, above the method definition.

---

Whatever option is chosen would go through GitHub Actions.

[tagliala]

Recently RBS has been added to money via RubyMoney/money#1054, but I really don't like all the duplication (included duplicated docs) there 😞

some extra typing/more verbose code

Unless that code is being generated somehow, it is not more verbose code, it is almost 2X docs and method/class definitions

[chrisalley]

I'm not planning to add type signatures myself, so I'm happy to close this issue if there's no interest.

[tagliala]

I would also close here, since this is also a non-production library