TODO

Language Issues

Type System

Improve typechecking
Fix issues with SELF_TYPE vs. Object.

Constraints

The name of the Main class should use a checking rule instead of a constraint on the name itself.

Editor

Improve editor for expressions.
Using the comma key may not be the best interaction method. The dispatch option should be directly in the context menu.
Replace the standard texts for empty and not available.
Improve editors such that you can type the verbatim text.
Add meaningful intentions for refactoring.
When typing '<-' the transformation of the Assignment concept does not add the written text the identifier. Instead the identifier vanishes. See IExpression_SubstituteMenu under editor.

Generator

The Let concept needs a proper reduction rule. See reduce_Let under generator.

Other

Create unit tests for the editor and the code generation.
Build standalone version.
Avoid explicit dependency to runtime in the module for programs.

Documentation Issues

Improve readme file to explain how to navigate, use and modify the COOL-MPS project. How to use MPS should be explained.