Comment by Kinrany

It's a good default for a pre-1.0 tool that aims to type check existing code.