Symbolic financial contract EDSL