anchor.diff:          | (TyInt64,TyInt32) -> TyInt64
           | _ -> failwith "Not a numerical type"
   
  +// Get position of the error (starting line and column, end line and column) in the form of a string to be used
  +// for error messages.
   let posString (p1 : Position, p2 : Position) : string = 
       let inRange line column =
           let notInRange = line < p1.Line ||
  
positive.code:                 eqCapacities (unwrap c1.right) (unwrap c2.right)
          | _ -> cap1 = cap2
  
  let isIntType (ty : TyExpr) =
      match ty with
          | BaseTy (_, _, t1) ->
  
negative.code:             sprintf "%s %s %s" (capacityString left) opStr (capacityString right)
          | CapacityConst (_, _, name) -> name
  
  // Turns a type into string representation for debugging
  let rec typeString (ty : TyExpr) : string =
      match ty with
          | BaseTy (_, _, baseTy) -> match baseTy with
  