Much more content in the type system section