Help distinguish between type-safe and type-unsafe API

First, we give an overview of the type-safe API subset. Later on, there
is a slide about the unsafe API subset.