Require __init__ to be a function definition
Add method types to class before type-checking method bodies
Prevent __init__ method from calling other methods
Add attributes defined in __init__ to class type
Tidy up __init__ checking
Allow statements other than assignments in init method
Parse base classes of class definitions
Support object base class