Release v0.0.7

Added

• LINQ-style aggregation methods: Sum(), Product() for arithmetic expressions with selector overloads
• LINQ-style boolean methods: All(predicate), Any(predicate) for Z3 constraint generation

Changed

• Empty sequence handling: Add()/Mul() return identity elements (zero/one) instead of throwing, And()/Or() return true/false