Document the new scheme

Also allow `..`. and `0..` (without units) in memory range syntax.

Update the tests to reflect the new documentation.

[#58060090]