Fixed Segment Trees
Really fixed Segment trees. Realized that asking for a Semigroup is strong enough.