+ Added function-solving.
- No more primitive types.
* Simplified a bit the error-handling system.
* Simplified the testing at /system.