This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them