Semicolons are not at all comparable to types.

Types give structure to your program, prevent bugs and make team work easier. Semicolons are an artifact of the times it was thought multiple statements could go on a same line. Although I do admit, they make language design easier.