Some edits in "type-system".

Duplicate "also".