Update TypeCheckVisitor2.cs

Refurbished checkTypeSyntax