A Policy Engine for Smart(er) Contracts