Add what-type-of-type-are-you, a blog post with type system intro
Update various docs