[wip] towards typechecking using sorbet

playing around a bit with sorbet.

I quite like it, but it needs centos 8, due to glibc dependency...