Add new information about the type system