I dislike that typechecking has to be enabled/disabled globally
- For my existing projects I really don't want to (/I won't) go back and fix thousands of type check warnings
- If I start a new project I might use type checking
I propose to add...