anchor.diff:              ""
       sprintf "file %s, line %d column %d to line %d column %d%s" p1.FileName (p1.Line+1) p1.Column (p2.Line+1) p2.Column badCode
   
  +// Put the module name and declaration name as strings into a module qualifier
   let qualifierWrap modName decName =
       {module_ = modName; name = decName}
   
  +// Takes in a declaration and substitutions and apply the template with these substitutions
   let applyTemplate dec (substitutions : TemplateApply) =
       let replace tyMap capMap haystack =
           TreeTraversals.map2 (fun tyExpr -> match tyExpr with
  
positive.code:             sprintf "%s %s %s" (capacityString left) opStr (capacityString right)
          | CapacityConst (_, _, name) -> name
  
  let rec typeString (ty : TyExpr) : string =
      match ty with
          | BaseTy (_, _, baseTy) -> match baseTy with
  
negative.code:         | ForallTy _ -> true
          | _ -> false
  
  // Takes in two types, check if they are equal
  let rec eqTypes (ty1 : TyExpr) (ty2 : TyExpr) : bool =
      match (ty1, ty2) with
          | (x, y) when isNumericalType x && isNumericalType y -> true
  