This seems similar to the way CUE type lattices work. https://cuelang.org/docs/concept/the-logic-of-cue/#the-value-lattice https://cuelang.org/docs/concept/the-

This seems similar to the way CUE type lattices work. https://cuelang.org/docs/concept/the-logic-of-cue/#the-value-lattice https://cuelang.org/docs/concept/the-logic-of-cue/#the-value...