Add Sorbet

[bennn]

We might want to add Sorbet because it has some flow-sensitive typing:
https://sorbet.org/docs/flow-sensitive

Thanks @capfredf