simplifications (no supercompilation is considered), more examples, tests (closes #3)