Type check our JS

[yuvipanda]

Our JS has some type information, which you can check by running npx tsc --noEmit --checkJs from the base. We aren't using typescript as a language, but using jsdoc hints to tell typescript what our types are.

We don't currently enforce it because our code doesn't actually cleanly typecheck! We should decide if we want it to, and then work towards that.