correction: redefinitions are not fully checked

"specifically, an attribute cannot be defined multiple times in a class
but a method and an attribute may have the same name"

- cannot check for redefinition of an attribute inside a block
Merge branch 'master' of https://github.com/liammaier/CompilersCool