> We could even have compiler warnings for type-safe languages when someone declares an int with a name containing 'address/zip/postal/credit/card'

That sounds like it would be a better job for a linter than for a compiler.