Add type annotations to the gem

[Sorbet](https://sorbet.run/) allow for static (and runtime) analysis of Ruby code by adding type annotations. This can be leveraged to get rid of a lot of switch statements like:

```ruby
case some_var
when 1
else
  boom "some execption"
end
```

The Sorbet runtime consistently warns when an unexpected branch is reached.