Fortifying JavaScript applications with TypeScript