(STUB. One hypothetical example usage.) A structured, extensible and efficient (compile-time), approach to the recurring problem of correctly handling many kinds of "edge cases" in all kinds of loops.