wrote the sections describing the simplified type system