working on desugarer, came up with fun 'recurse' class which simplifies things a lot
added doc on lambda-dot and start-with-operator