Data Types as Lattices | Synapse