Approve Before Dangerous editable
Ready. Click Check to typecheck this example. 
type Receipt:
    id: String

tool issue_refund(id: String) -> Receipt dangerous

agent refund(id: String) -> Receipt:
    approve IssueRefund(id)
    return issue_refund(id)
Terminal corvid check
$ corvid check approve-gates.cor (click Check to run the typechecker in your browser)