Rephrase exhaustion as emptiness.
Extracts RXMagnitude into its own header.
Intervals are structs.

There is an enumerator for them.
Adds a batching enumerator.
Interval enumerators are batched.