More work on the type system overview.