Localized strong typing in JavaScript that works in existing JavaScript engines