Add projT1_path_sigma_uncurried

This way, the theorems match the structure of `path_sigma{,_uncurried}`.