@@ -0,0 +1,626 @@
+package absyn;%0A%0Aimport env.Env;%0Aimport javaslang.collection.Tree;%0Aimport parse.Loc;%0Aimport semantic.SemanticHelper;%0Aimport types.INT;%0Aimport types.Type;%0A%0Apublic class VarSimple extends Var %7B%0A%0A   public final String name;%0A%0A   public VarSimple(Loc loc, String name) %7B%0A      super(loc);%0A      this.name = name;%0A   %7D%0A%0A   @Override%0A   public Tree.Node%3CString%3E toTree() %7B%0A      return Tree.of(annotateType(%22VarSimple: %22 + name));%0A   %7D%0A%0A   @Override%0A   protected Type semantic_(Env env) %7B%0A      Type t = env.venv.get(name);%0A      if (t == null)%0A         throw SemanticHelper.undefined(loc, %22variable%22, name);%0A      return t;%0A   %7D%0A%0A%7D%0A

Add simple variable