Representing Type Lattices Compactly