Add a `types` module to `utils` and implement type checking. - [ ] Add `types` module - [ ] Implement type checking - [ ] Assign types to variables