Such a simple scripting language should not be used. Agda or Idris are way better alternatives.
For something as important as money and contracts we should leave no doubt. Writing contracts is hard, programming should be hard too.
not sure i understand why programming should be hard?
It should be as easy as possible to develop. But as strict as possible to ensure correctness. Practically it will be at least as hard as creating the same contract.