anchor.diff:  let toModuleQual (module_, name) =
       {module_=dummyWrap module_; name=dummyWrap name}
   
  +// Unwrap the module and name within a module name pair
   let toStringPair {module_=module_; name=name} =
       (unwrap module_, unwrap name)
   
  
positive.code:                 List.forall2 eqTypes (List.map unwrap ty1) (List.map unwrap ty2)
          | _ -> (ty1 = ty2)
  
  let rec capacityString (cap : CapacityExpr) : string =
      match cap with
          | CapacityNameExpr (_, _, name) -> name
  
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
  