- [ ] - add "debug" flag, enabling printing more information about the analysis of code and types. - [ ] - will print which file is currently analyzing - [ ] - will print which function is currently analyzing - [ ] - will print which type is currently analyzing