typed-protocols: use sublibraries

See haskell/cabal#10277, why such long names
are used.

Author: coot

.github/workflows/haskell.yml

@@ -90,8 +90,8 @@ jobs:
     - name: Build projects [build]
       run: cabal build all
 
-    - name: typed-protocols-examples [test]
-      run: cabal run typed-protocols-examples:test
+    - name: typed-protocols:test
+      run: cabal run typed-protocols:test
 
     # - name: typed-protocols-doc [test]
     #   run: cabal test typed-protocols-doc

cabal.project

@@ -15,10 +15,6 @@ index-state:
   , cardano-haskell-packages 2025-01-29T20:54:25Z
 
 packages: ./typed-protocols
-          ./typed-protocols-cborg
-          ./typed-protocols-stateful
-          ./typed-protocols-stateful-cborg
-          ./typed-protocols-examples
           ./typed-protocols-doc
 
 test-show-details: direct