Allow static type checking to be turned off for individual classes/methodss

In general I want to turn on static type checking at a fairly high granularity, such as entire class (or package if you implement package-level type checking). I may want to turn type checking off for an individual sub-unit. If for example I have a class with a lot of methods, and want to turn off checking for one method, I don't want to have to annotate every single method with @TypeChecked except the one exception.