Do we want to allow variable shadowing?