Update check-types.js