arguments: F:freemodule G:freemodule >> matrix
Yields the matrix representing the map F ** G --> G ** F.
