Add support for anonymous functions

[samvv]

Right now, Bolt does not support anonymous function, i.e. lambda expressions. It is very cumbersome to have to write a named function for each small procedure, so evidently this feature should be implemented.

[samvv]

We are going to implement the following Haskell-like syntax:

let modify_state = ...

modify_state \x -> x + 1