Fixed more bugs identified by Jacks: Round 2.

- Type checking local class whose name clashes with local variable.
- Detecting name clash on imports.
- Checking definite assignment of final fields inside constructor body.

Added relevant test cases.