Blame, coercions, and threesomes, precisely
Gradual typing embedded securely in JavaScript