- Fixed a problem with equivalence testing (!)
- Added a new example: A theorem prover for propositional logic
- Added documentation to benchmark
- Experimental new function `up`.
Added a function `top`.
Added documentation and improved semantics for c/up and c/top.