Update TypeCheckVisitor2.cs

Fix up on while and if, first crack at Call (needs discussing)