Update TypeCheckVisitor2.cs

checkOverride and checkTypeSyntax commit.