S

substructural

Gradual Typing with !