reimplementation of BinaryLambda's notation

http://www.reddit.com/r/haskell/comments/1a47ox/a_simple_graphical_notation_for_lambda_calculus/
http://binarylambda.blogspot.ca/2013/03/lambda-diagrams-lambda-diagrams-few.html