feat(dfir_rs): improve lattices usability (tracking issue)

[MingweiSamuel]

• dfir_lang: lattice_bimorphism(PairBimorphism) fails to handle types containing singleton collections (lacking Self: Merge<Self>) #1663
  • (In general: traits are complicated and more importantly don't cover all cases in a sensible way)
  • May want to specialize implementations
• LatticeBimorphism trait should be modified to support references instead of just owned values, to avoid unnecessary clone()ing #1301
• lattices: PairBimorphism may have ergonomic issue with type conversion (LatticeFrom) when nested inside of KeyedBimorphism #1227
• lattices: possible inconsistent behavior in lattice bimorphisms due to "deep bottom" #1226
• Collection lattice types should support some variant of flatten() to iterate over the members. #1224

Related, in core API:

• dfir_lang: state should accept both Atoms and Collection types #1646
• perf: investigate cost of cloning lattices in state() operator #1669
• perf: avoid clone cost/figure out stream-by-reference mechanism #1670

Rename lattices crate:

• rename lattices crate for general abstract algebra, get into releasable state, docs #964
• write docs