add eq_assoc and eq_comm goal constructors