A comprehensive reference for building cohesive type systems from scratch. Covers hierarchies, pairings, optical sizing, and common pitfalls to avoid.