Declarative Smart Contracts