Etiket: drafting smart contracts