transport_forall_unwound is unnecessary

If we use transport_pV, then we can write out the type of transport_forall explicitly without too much trouble.