How is a type checker or the presence of types synonymous with clean code?

The two are totally orthogonal concerns.

You can write highly obfuscated spaghetti code from hell in any type checked language you wish...