types/Prod: improve the UMPs
types/Prod: products are symmetric
Merge branch 'prod'