This would basically be nothing more than a scope. It has no conditions for use and such, it's just a way of organizing locals and setting up a specific scope for them.
E.g.,
This really would only benefit people who use [Super]Strict as scopes are pretty much meaningless without it, but I think this would help for keeping things organized.
E.g.,
Strict Scope Local p! = Pi Print p End Scope Scope Local p% = Int(Pi) Print p End Scope Print p ' <- Would throw an error because p is part of the above scope
This really would only benefit people who use [Super]Strict as scopes are pretty much meaningless without it, but I think this would help for keeping things organized.