IoLite: smart contracts in human languages