Add a language feature (by implementing the class StructureFeature) for examples with free parameters.
To check or elaborate an example, nothing has to be done. But the HTMLPresenter must be adapted to display examples nicely.
The examples should be interactive: The user should be able to interactively enter values (in HTML text fields) for the parameters. Then MMT could be called to recompute the example.
We might have " Example (addition): For every a,b, we have that a+b=b+a "
This could be HTML-presented as a " Fill in values for textbox a= _____ textbox b= _____ We have that +=+ "