language A language with partial type and effect reconstruction and first-class modules. (1995-01-31)