Constant shadowing does not produce var-scope error

[anton-trunov]

const foo: Int = 42;

contract Test {
    get fun bar(): Int {
        let foo = 43;  // <--- attempt to shadow `foo` constant
        return foo;
    }
}

Moreover, the constant substitution algorithm does not respect scoping rules and the bar getter returns 42 instead of expected 43.