Defined the product of two relations as well as the product of two setoids.
Merge branch 'dev'