Lazier Binary Decision Diagrams for set-theoretic types | Heykuki News