defined exil:defgoalf as functional counterpart to defgoal
exil:goals now returns list of goals' symbolic representations
  instead of printing goals
functional tests updated