Implement lattice generics for abstract-state