Worked out some very basic examples and tried to define a product on PlainDescr and failed so far.