Rewrite 'What are types?'
Add 'Types's genesis'