docs/protocol/papers: add types to examples in blockchain programs paper
docs/protocol/papers: add types to examples in blockchain programs paper

This PR adds type annotations to the examples in the Ivy paper, which makes
the paper more readable and brings it closer to our current design for the
language.

Closes #563

chain/chain,chain/chain,chain/chain,chain/chain,chain/chain,chain/chain