types/Prod: add the negative universal property
Merge pull request #70 from mikeshulman/prod

types/Prod: add the negative universal property