Define some variants of transport_path_prod

It's a reduction rule for transport across path_prod.
Merge pull request #218 from JasonGross/path_prod

Looks ok, but please don't start every comment with the word "now" :-)
Define some variants of transport_path_prod