- better documentation:

	* cleaner .mli
	* real documentation with examples

- not all parser are implemented

- lacks direct resolution method

- lacks eigen value computation

- lacks develop and other functions in expression.mli

- ...