Some edits in "type-system".

Two consecutive sentences starting with "This`.