Bumped Cuddle, added line comments and rule ordering

Author: Soupstraw

cabal.project

@@ -18,6 +18,12 @@ source-repository-package
   -- MAKE SURE THIS POINTS TO A COMMIT IN `*-artifacts` BEFORE MERGE!
   tag: cccfde6934ab0988fee3885ee160fffe04aa8274
 
+source-repository-package
+  --sha256: sha256-swCpJhxUFDyqPBDNI4pb5fanMJ6rWx/zN5dKYIZJ5Rg=
+  type: git
+  location: https://github.com/input-output-hk/cuddle.git
+  tag: 2b2296ad36acdcc8c07a0db0bc2fbdf085ad94ec
+
 -- NOTE: If you would like to update the above,
 -- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec
 index-state: