#25 Introduced infrastructure for typings. Remaining TODOs: ### To-do: - [x] add typings for `mathBox` options - [ ] finish manual typings for `types.js` - [x] add more tests to `types.spec.ts`. Since that test file is written in typescript, if its tests pass, we can be confident in my manual typings.