Guide: closures

I couldn't get the simple example with inference to work, and asked on IRC, and nobody answered, so I just said nothing about inferring argument types.