Some small changes suggested in review. Major ones:

- Added constant shadowing check in let declarations.
- Added "self" check in field access so that "self" is considered a contract/trait access only when "self" is not in the runtime environment.
Note that extends functions are currently not supported by the interpreter.
- Added negative test case of a constant being shadowed by a let statement.