Lazier Binary Decision Diagrams for set-theoretic types