[nine_k]

If you want better types, have you taken a look at Hack?

https://hacklang.org