Category: lattice-based-type-system