[timcobb]

> There are two parallel type inference systems in `src/types`

Oooof brutal. I agree it is remarkable people release stuff like this.