Improvement in term testing and fix bugs.
Add many tests on the Peano system. Also add errors that didn't exist yet.