@hackage/moonlight-algebra

Initial release of the Level-1 algebraic tower over moonlight-core.
Group surface: standard Semigroup/Monoid, Group, AbelianGroup, and operation-selecting Additive/Multiplicative wrappers, plus free structures (FreeMonoid, FreeAbelianGroup).
Lattice tower: join/meet semilattices through distributive, Heyting, and Boolean algebras (Lattice, Orientation). Compiled finite context lattices now live in the public moonlight-algebra:finite-lattice sublibrary.
Ring tower: operation-bearing Semiring/Ring/CommutativeRing classes live in moonlight-core; moonlight-algebra adds IntegralDomain, GCDDomain, EuclideanDomain, canonical residues, modular arithmetic (Zn), number theory, and GCD.
Modules, vector spaces, bilinear spaces (Module, Magnitude), polynomials, power sets, products, quotients, and sparse vectors with finite support.
All Moonlight.Algebra.Pure.* modules are now exposed for selective qualified import; Moonlight.Algebra re-exports the tower, grouped by family, as a convenience.
Algebraic laws documented in module headers and exercised by the private moonlight-algebra-laws sublibrary.