static private void check_loop(Dec_type d,Table<Type> t_env,ErrorList e){
		Type tmp = t_env.get(d.id);
		if(tmp instanceof NAME){
			if(((NAME)tmp).isLoop()){
				e.add_error("Loop type declaration", d.line, d.column, "typing");
			}
		}
	}