Docstrings for internal types + test portability fix

To make the tests pass locally, it was necessary to improve test portability.

Now, internal types like (=) and pairs and the like have docstrings. There have also been a few improvements to the display of docstrings.