More work on type system overview.