• Explaining the @struct and @dict annotations
• More details
• Additional type checking
• Inheritance maintains the annotations
• Annotating the prototype
• Subtyping and unsoundness