edit of the types systems document