Fixed regression bugs.  Added relevant test cases.

- Reinstated package-class name clash check with proper conditions.
- Corrected the definition of when a method _implements_ another.