anchor.diff:                 (compile-block item out state 2 ret)
                  (w/unindent! out)
   
  -               (if is-final
  -                 (set! had-final true)
  -                 (w/append! out "else"))
  +               (when is-final
  +                 (set! had-final true))
                  (inc! i))))
   
            ;; If we didn't hit a true branch then we should error at runtime
            (unless had-final
  +           (w/append! out "else")
              (w/indent! out) (w/line! out)
              (w/append! out "_error(\"unmatched item\")")
              (w/unindent! out) (w/line! out))
  
positive.code:                     (case (nth item 1))
                      (is-final (truthy? case))]
  
                 ;; We stop iterating after a branch marked "true" and just invoke the code.
                 (cond
                   [is-final (when (= i 2) (w/append! out "do"))] ;; TODO: Could we dec! the ends variable instead?
  
negative.code: 
  (define boring-categories
    "A lookup of all 'boring' which we will not emit node information for."
    (const-struct
      ;; Constant nodes
      :const true :quote true
      ;; Branch nodes
      :not true :cond true))
  
  (defun compile-quote (node out state level)
    "Compile a quoted NODE to the ouput buffer OUT.
  