anchor.diff:    shadow-type pairs)
   
   (deferror shadowing-constructor-no-match () (shadow-type func-id)
  -  "Varjo: Was asked to shadow the function with the idenifier ~a as
  +    "Varjo: Was asked to shadow the function with the idenifier ~a as
   a constructor for the shadow-type ~a.
   
   However no functions were found that matched this identifier."
     func-id shadow-type)
   
   (deferror def-shadow-non-func-identifier () (name func-ids)
  -  "Varjo: ~a was ask to shadow some functions, however the following
  +    "Varjo: ~a was ask to shadow some functions, however the following
   identifiers are have problems:
   ~{~%~s~}
   
  
positive.code: use."
    prim prev-stage)
  
  ;;
  ;; Hi! Don't forget to add the name of your condition to the
  ;; varjo.conditions package
  
negative.code:   name required provided missing)
  
  (defwarning cant-shadow-user-defined-func () (funcs)
      "Varjo: Unfortunately we cannot currently shadow user-defined functions.
  The following functions have been skipped:~{~%~s~}"
    funcs)
  
  (defwarning cant-shadow-no-type-match () (shadowed funcs)
      "Varjo: Was asked to shadow the following functions, however none of the
  arguments have the type ~a
  
  The following functions have been skipped:~{~%~s~}"
    shadowed funcs)
  
  (deferror shadowing-user-defined-func () (func)
      "Varjo: Unfortunately we cannot currently shadow user-defined functions.
  The function in question was: ~s"
    func)
  
  (deferror shadowing-no-type-match () (shadowed func)
      "Varjo: Was asked to shadow the following function, however none of the
  arguments have the type ~a
  
  The function in question was: ~s"
    shadowed func)
  
  (deferror shadowing-no-return-matched () (shadowed func)
      "Varjo: Was asked to shadow the following function, however none of the
  returned values have the type ~a
  
  The function in question was: ~s"
    shadowed func)
  
  (deferror shadowing-multiple-constructors () (shadow-type func-id funcs)
      "Varjo: Was asked to shadow the function with the idenifier ~a  as a
  constructor for the shadow-type ~a.
  
  However this function-identifier names multiple functions, which is not
  