Typing: added inferExpr for Var
AST: replaced List with Nil