With programmable money, we can program our values into our money