committing finished type system definition and report