A language with partial type and effect reconstruction and

first-class modules.