I wonder if a language like Haskell with a strong type system and strict typing could help. If you were able to express exchange of currency with the type system.