as others have stated, the answer seems to be to opt in: "use typechecks" or only warn. i don't think anyone would consider turning it on by default everywher

as others have stated, the answer seems to be to opt in: "use typechecks" or only warn. i don't think anyone would consider turning it on by default everywhere. this seems like an extreme non-issue.