Improve documentation

[felixhekhorn]

To remember some TODOs left in the documentation:

• TMC, both for theory section and implementation.
• Complete kernels and ESFResult in the implementation section.

Originally posted by @giacomomagni in #255 (comment)