2.9.3 User Facilities Not Yet Implemented

There are a number of important features that have not yet been implemented in Core Maude in this release. Here is a list of the most important omissions.

1. Module renamings²⁶.
2. Garbage collection for top level modules.
3. Special strategy for the rewrite command in the case of object-oriented modules, and built-in objects and messages.
4. Various built-in data types.
5. Error handling and recovery for certain situations.
6. Rules whose conditions can contain not only equations and membership axioms, but other rewrites.
7. Memoization.
8. Operators that have both assoc and idem attributes.