Improve Markdown of 'What are types?'
Improve Markdown of 'Types' genesis'
Add 'Kinds of types and Kinds'