finish update of type system chapter