Symmath is now the only exposed module
Read-eval-print-loop for testing simplify
Release IV.1

Better cabal build file