Test: change test about shadowing (some things became errors)
Sem: Added scope and now unique identifiers are applied _everywhere_