finished processing all comments of first reviewer. Added more explicit part on validation and merged smaller sections about alternatives, corrections and set definitions into the larger section 3.1 on sets, classes, etc.