[preseinger]

> Do people commonly think types are a solution to most or all problems?

There's certainly a subclass of programmers who believe this, yes.