make wp_par usable
See the discussion in tutorial-popl18!1 (merged): Currently, wp_par is not usable. This makes it usable.
wp_par is nicer than par_spec in that it produces nicer goals, but unfortunately stating it requires value lambdas. This MR is not a perfect solution, but an improvement.