Define some variants of transport_path_prod

It's a reduction rule for transport across path_prod.