flake.lock: Update

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/3f0fd30b886cd9f92ed82ed28e54a7e1547f6388' (2023-06-15)
  → 'github:typelevel/typelevel-nix/a09e2c0f410955262f4e5a6cec75fc38233fc5ad' (2023-07-03)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/3e0e60ab37cd0bf7ab59888f5c32499d851edb47' (2023-03-16)
  → 'github:numtide/devshell/f9238ec3d75cefbb2b42a44948c4e8fb1ae9a205' (2023-07-03)
• Removed input 'typelevel-nix/devshell/flake-utils'
• Removed input 'typelevel-nix/devshell/flake-utils/systems'
• Added input 'typelevel-nix/devshell/systems':
    'github:nix-systems/default/da67096a3b9bf56a91d16901293e51ba5b49a27e' (2023-04-09)
• Updated input 'typelevel-nix/flake-utils':
    'github:numtide/flake-utils/a1720a10a6cfe8234c0e93907ffe81be440f4cef' (2023-05-31)
  → 'github:numtide/flake-utils/dbabf0ca0c0c4bce6ea5eaf65af5cb694d2082c7' (2023-06-25)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/2e56a850786211972d99d2bb39665a9b5a1801d6' (2023-06-04)
  → 'github:nixos/nixpkgs/cd99c2b3c9f160cd004318e0697f90bbd5960825' (2023-07-01)