public Type type_check(Table<Type> t_env,Table<Dec> v_env,boolean in_loop,ErrorList e){
		Type l_type = var.type_check(t_env, v_env, false, e);
		Type r_type = expr.type_check(t_env, v_env, false, e);
		if(!l_type.coerceTo(r_type)){
			e.add_error("Type mismatch in assignment", line, column, "typing");
		}
		the_type = Type.THE_VOID;
		return the_type;
	}