replace all the good_v stuff by a cheat about do_app_exh

this shows that it is sufficient for the semantics to guarantee that a
Recclosure's names are all distinct to get rid of good_v, which
hopefully will happen