To modernize the procedural language, it would seem desirable to be able to use the key word LEAVE without a loop name to leave the current loop.

So rather than:

LEAVE `some_loop`;

an optional form would be simply:

LEAVE;

Also, while doing this, it might be nice to make BREAK a synonym for LEAVE so the more common form could be simply:

BREAK;

This would help make the language feel newer and remove one use case for labels in loops (e.g. WHILE loops).