Code cleaning
Experiments on syntax of Predicates

* Added ktosiek's examples
    (original visible_to.py, predicated visible_to_lambda.py)
* Put mutations made by me to visible_to_shifty.py