---

6.4 Future Improvements

1. Optimisations:
   • the calls to internal apply: we’d like to avoid the excessive consing of always building the list of arguments.
   • speeding up the creation of a vector for assignable closure-variables
   • several peephole optimisations.
2. Improve Variable creation and naming to avoid C function name clashes.
3. Report 4 macros.
4. Better error-checking.
5. Better liftability analysis.
6. More tailrecursion recognition.
7. Better numeric optimizations.
8. Fast real-only arithmetics: $eqv, $=, $>, $+, $*, etc.