Problem: Gas consumption is quite complex to grasp from just looking
into the code of OCaml implementation. It is unclear how exactly the
gas is consumed during contract execution, especially when multiple
contracts are involved. Unclear gas consumption makes us write
suboptimal contracts, often hitting the upper gas limit.

Solution: Provide a document describing the main concepts behind gas
consumption in the reference implementation.