Another (simplified) reimplementation of financial contract combinator library. Refer to "How to write a finantial contract" by S.L. Peyton Jones and J-M. Eber for details