Some edits in "type-system".