Option.get is important. It lets you work around the type system in cases where the type system wasn't expressive enough. Given that all type systems are imprecise, this functionality is essential.

I'm all for strong type systems, but I also acknowledge their limitations.