Gradual typing embedded securely in JavaScript
Multiple facets for dynamic information flow