This article explores the latest batch of optimizations we did to set-theoretic types and their representation