Fix issue #181: let `wp_expr_eval` check that the goal is in fact a WP.

  Also, remove the inconsistency that `wp_expr_eval` succeeds on a goal
  that is not a WP.
1 job for master in 3 minutes and 59 seconds (queued for 8 minutes and 24 seconds)