Add a page on "Getting started with Types"
Add talk about types in the record explanation.