Update TypeCheckVisitor2.cs

Need 'using System.Linq' to compile for call 'solution'