Improve documentation
Complete arithmetic exercises

This includes a slight tweak to the knowledge base so the new predicates
can be fully tested.