New chapters on types.
New chapters on types.