Representing type lattices compactly