Merge pull request #16 from ganelson/ie-0016

IE-0016: Language extensions reform

Author: curiousdannii

README.md

@@ -47,4 +47,5 @@ _(IE-0011) New data structures_ (still drafting: see pull request)
 _(IE-0012) A new GlkKit_ (still drafting: see pull request)                                              | --           | Drafting | [PR#12](https://github.com/ganelson/inform-evolution/pull/12)
 [(IE-0013) Annotations for kit linking](proposals/0013-annotations-for-kit-linking.md)                   | 10 October 2022 | Implemented but unreleased | [PR#13](https://github.com/ganelson/inform-evolution/pull/13)
 [(IE-0014) Inter names for rulebooks](proposals/0014-inter-names-for-rulebooks.md)                       | 23 October 2022 | Implemented but unreleased | [PR#14](https://github.com/ganelson/inform-evolution/pull/14)
-[(IE-0015) World model enforcement](proposals/0015-world-model-enforcement.md)                           | 16 January 2023 | Experiments in progress | [PR#15](https://github.com/ganelson/inform-evolution/pull/15)
+[(IE-0015) World model enforcement](proposals/0015-world-model-enforcement.md)                           | 16 January 2023 | In progress | [PR#15](https://github.com/ganelson/inform-evolution/pull/15)
+[(IE-0016) Language extensions reform](proposals/0016-language-extensions-reform.md)                     | 5 February 2023 | Implemented but unreleased | [PR#16](https://github.com/ganelson/inform-evolution/pull/16)