renamed the uniqueness principles of products, unit and named the uniqueness principle of dependent pair types