typeChecker: VarDec