Data types as lattices | lit.salon