TAPL 12, 13, 14: Normalization, references, and exceptions ✅ 2024-06-25 TAPL 15, 18: Subtyping & OOP ✅ 2024-07-02