code clean up + more clear examples (also: comments in input programs)
more intuitive syntax for if-expression
more clear names + one more example
simplifications (no supercompilation is considered), more examples, tests (closes #3)