Add support for label scoping

Wondering if it would make sense to support labels and `continue` / `break` references as part of the escope's scope model. Theoretically, it seems to be a good fit for that kind of task as they can be also nested, need to be properly resolved depending on the scope they're in, etc.
