type systems edit and first draft of the report