Implement Terr.Throw
Implement -> / tidy cond / defprotocol scratchings