feat(hydro): review algebraic property analysis

[MingweiSamuel]

What is supported and how can we support more?

• lattice properties: associativity, commutativity, idempotence
• group properties: inverse, identity
• distributivity (semirings, operator pairwise)

What properties can be tracked in Hydro type parameters, and what properties need separate handling?

Prev: #1390