First work on semantic errors at class level. No check for cyclic inheritance yet though