defgoal is now undoable
added undefgoal