MPS-17314 - checking for forward references in type variable definitions
MPS-17315 - checking for overriding methods being more restrictive than overriden methods
MPS-17315 - a quick fix to match overriden method visibility
MPS-17315 - checking for compatible throws clauses in overriding method signatures