public Type type_check(Table<Type> t_env,Table<Dec> v_env,boolean in_loop,ErrorList e){
		Type tmp = t_env.get(sym);
		if(tmp==null){
			e.add_error("Undeclared type "+sym+"in array type declaration", line, column, "typing");
			return Type.THE_ERROR_STATE;
		}
		else{
			NAME n = new NAME(sym);
			n.bind(tmp);
			return new ARRAY(n);
		}
	}