anchor.diff:                   :to-block (append 
                               (mapcan #'to-block form-objs)
                               (mapcar (lambda (x) 
  -                                      (current-line (end-line x))) 
  +                                      (current-line (end-line x)))
                                       form-objs)
                               (to-block prog-ob))
                    :to-top (append (mapcan #'to-top form-objs)
  
positive.code:              (name (if (eq name :main) :main name))
               (returns (returns body-obj))
               (type (if (eq name :main) '(:void nil nil) 
                         (code-type body-obj))))
          (let ((name (safe-gl-name name)))
            (if (or (not returns) (every (equalp! type) returns)) 
                (make-instance 
                 'code :type type
                 :current-line nil
  
negative.code:         (error "The result of the test must be a bool.~%~a"
                 (code-type test)))))
  
  
  ;; [TODO] double check implications of typify in compile-let-forms
  (vdefspecial for (var-form condition update &rest body)
    "(for (a 0) (< a 10) (++ a)
       (* a 2))"
  