Are you responding to my assertion that there's no fundamental difference between type systems and static analysis? If so, if we just change "well typed/not wel

Are you responding to my assertion that there's no fundamental difference between type systems and static analysis? If so, if we just change "well typed/not well typed" to "acceptable/not acceptable" I think you've pretty much just described static analysis.