Defining Types

TODO:

- interfaces vs. `type`
- unions, etc.
- typing functions
- `any` vs. `unknown`