Add projT1_path_sigma_uncurried

This way, the theorems match the structure of `path_sigma{,_uncurried}`.
Merge pull request #209 from JasonGross/proj-path-sigma-uncurried

Add projT1_path_sigma_uncurried