* Sandbox execution. First seemingly working version. Pfiou.
* A new language for exercise description.
* Translate Import from concrete to abstract syntax.