Thank you. That’s what I started with last night. That was the default on my previous project as well. It seemed like a good shortcut decision.

What kinds of false negatives are we talking about? Are you referring to mixing untyped and typed code?

How is the support for libraries? Does support depend on using one typechecker in particular?