* Improve front-end language

- implicit arguments?

- show generation

- ord generation

- better module system

- Negated patterns?

- Simplify taking many arguments of the same type: f : (A,B : Type) -> ...

* Improve interpreter

- More efficient handling of constructor application

- Implement tail recursion.

* Improve the core language

* Improve compilation

* Add primitive operations to core

- primitive operations on strings:

- add floating-point numbers with primitive oeprations?

* Implement module system in interpreter

* Add type checker for core

* Add friendly type checker for front-end language

* Add termination checker
