TypeInference: removed polymorphism from varDecl