part1/Relations: add product import#388

wadler merged 2 commits intoplfa:devplfa/plfa.github.io:devfrom

trajafri:Relations-add-product-importtrajafri/plfa.github.io:Relations-add-product-importCopy head branch name to clipboard