Working on Class (or Object or else) Type Checker