two more points:
1. need to understand what they mean by "ledger" and in what it's different than "generic knowledge". EDIT: indeed they seem to focus on contracts
2. ocaml impl?! ... the easy but eventually-useless way?