Extended tests for step function addition
Extended tests for step function addition

Of course, this demonstrates that *touching* intervals cause problems,
which is what I expected. This requires improved handling.

Submanifold/Aleph,Submanifold/Aleph,Submanifold/Aleph