Nesting labels
Improved semantics, some tweaking