Document procedures with return values

[jubnzv]

We should carefully document how return works (see https://github.com/Zilliqa/scilla/pull/1197).

The most tricky part is name resolution between local binding to a pure function application and binding to a procedure return value.