Add documentation for MboProdSpace.
More documentation.