Coreference Done! Type System Finalized.