Trying to start writing about the type system