Created type system. Wrote report.