anchor.diff:               (typeof<Vector2>.Name, (fun evaled _ -> match evaled with Vector2 value -> value :> obj |> Some | _ -> None))
                (typeof<char>.Name, (fun evaled _ -> match evaled with String value when value.Length = 1 -> value.[0] :> obj |> Some | _ -> None))
                (typeof<string>.Name, (fun evaled _ -> match evaled with String value -> value :> obj |> Some | _ -> None))
  +             (typedefof<Guid>.Name, tryExportGuid)
  +             (typedefof<KeyValuePair<_, _>>.Name, tryExportKvp)
                (typedefof<_ Address>.Name, tryExportAddress)
                (typedefof<_ Relation>.Name, tryExportRelation)
                (typedefof<_ option>.Name, tryExportOption)
  -             (typedefof<KeyValuePair<_, _>>.Name, tryExportKvp)
                (typedefof<_ list>.Name, tryExportList)
                (typedefof<_ Set>.Name, tryExportSet)
                (typedefof<Map<_, _>>.Name, tryExportMap)] |>
  
positive.code:              (typeof<Vector2>.Name, (fun (value : obj) _ -> match value with :? Vector2 as vector2 -> Some (Vector2 vector2) | _ -> None))
               (typeof<char>.Name, (fun (value : obj) _ -> match value with :? char as char -> Some (String (string char)) | _ -> None))
               (typeof<string>.Name, (fun (value : obj) _ -> match value with :? string as str -> Some (String str) | _ -> None))
               (typedefof<KeyValuePair<_, _>>.Name, (fun value ty -> tryImportKeyValuePair value ty))
               (typedefof<_ Address>.Name, (fun value ty -> tryImportAddress value ty))
               (typedefof<_ Relation>.Name, (fun value ty -> tryImportRelation value ty))
  
negative.code:                 // otherwise, we have no conversion
                  else None
  
          and tryExportGuid (address : Expr) (_ : Type) =
              match address with
              | String str | Keyword str -> Some ((GuidConverter ()).ConvertFromString str)
              | _ -> None
  
          and tryExportKvp (tuple : Expr) (ty : Type) =
              match tuple with
              | Tuple [|fst; snd|] ->
  