TypeScript types can run DOOM [video]