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-Z0lQvckj1CvTQQfneHaDDX216ffAumaYqslODKWryZg=
+  type: git
+  location: https://github.com/input-output-hk/cuddle.git
+  tag: a9d81d83b9211955994ec28caf7f11b8ddd4271e
+
 -- NOTE: If you would like to update the above,
 -- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec
 index-state: