transport_forall_unwound is unnecessary
Merge pull request #64 from mikeshulman/forall

transport_forall_unwound is unnecessary