A simple algebraic financial contract language