Fix the exit message
Changes in the expr interface
Add the gmpxx library to the build
Splitting expr.cpp expr.hpp in multiple files

Is this really a good idea?
Make style as a standalone script
Add more tests for expr
Remove internal parameter from Expr::to_string()
Add some assert()