Smart, dumbed-down Contracts