Fixing a typo in 'What are types?'
Fixing a typo in 'Types' genesis'
Rewrite 'Kinds of types and Kinds'