Some edits in "type-system".

See http://www.oxforddictionaries.com/words/cannot-or-can-not