We've been burned enough by errors that could've been caught by a typechecker.

Let's use a typechecker.

Please.