Add section about type names
Mention doctests