Rewrite Introduction
Rewrite 'What are types?'