Properties/semantics/optimizations meta-issue (algebraic properties/lattices)

[MingweiSamuel]

Time to figure out our semantics, for optimizations

• Old flow-property propagation code #895
• Some "lattices" are not really lattices (#916)

  SSIV and immutables and other things aren't really lattices, the code that generates them can't be replicated. It's kind of like forming a quotient lattice out of a family of possible quotient lattices or something. Let's get this right in the type system.

[jhellerstein]

Do we want to put this reasoning up one level in Hydroflow+?

[MingweiSamuel]

Do we want to put this reasoning up one level in Hydroflow+?

Yes #1390

[MingweiSamuel]

Some is in HF+ and some is flo properties in core (#1500)

[MingweiSamuel]

Closing in favor of #1390 (HF+) and #1500 (HF core)