Add sphinx documentation for old assumptions in the core

Yes.  You can take look on the current sphinx docs.  First commit in this branch fixes such badly formatted references (in the sets module, AFAIR).