(define-trait proposal-trait ( (execute (principal) (response bool uint)) ) )