• 1. Usage
• 1.1. Global default typing
• 1.1.1 Security Risks using Global default typing
• 1.2. Per-class annotations
• 2. On type ids
• 3. Additional thoughts
• 4. On Design
• 4.1. Definition of PTH
• 4.2. Design Choices
• Instance Type Information (Type Metadata)
• Methods for embedding Instance Type Information
• 4.3 Customizing type handling
• 4.4. Implementation Plan
• 4.4.1 Baseline: global defaults
• 4.4.2 Per-type annotations