anchor.diff:  ;;  - Binding type aliases via alias
   ;;  - Declaring function signatures via function
   ;;  - Defining variables (via the other types)
  -    
  +
   (declare
    (linked-ints
     (struct (value integer)
             (next (pointer-to linked-ints))))
   
    (linked-ints-ptr
  -  (alias linked-ints))
  +  (alias (pointer-to linked-ints)))
   
    (cons-linked-ints
     (function linked-ints-ptr
  
positive.code:   ;; Conditionals take the form:
    ;;   (if E B B?) where E is the condition, and the B's are the true body
    ;;     and the optional false body
    (while (!= list null)
     (block
      ;; Accessors / assignable targets:
      ;;
  
negative.code:     ;; Logical expressions:
      ;;   (&& E E) and (|| E E) are the short-circuiting versions of the
      ;;   bitwise operators & and |
      (set sum (+ sum (field (deref list) value)))
      (set list (field (deref list) next))))
  
    ;; Returns take the form:
    ;;
  