mlkem: rearrange directory and module names #148

This brings module names into alignment with our standard (capitalized,
matches the directory path, etc) and the directory structure in line
with our recent changes (`Instantiations/` and `Tests/`)

Primitive/Asymmetric/Cipher/ML_KEM/Instantiations/ML_KEM.cry

@@ -1,4 +1,3 @@
 
-module ml_kem where
-
-import ml_kem512
+module Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM where
+    import Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM512

Primitive/Asymmetric/Cipher/ML_KEM/Instantiations/ML_KEM1024.cry

@@ -1,11 +1,12 @@
 /*
-@copyright Galois, Inc
-@author Marios Georgiou <marios@galois.com>
-
-@copyright Amazon.com or its affiliates.
-@editor Rod Chapman <rodchap@amazon.com>
-*/
-module ml_kem1024 = specification where
+ * @copyright Galois, Inc
+ * @author Marios Georgiou <marios@galois.com>
+ *
+ * @copyright Amazon.com or its affiliates.
+ * @editor Rod Chapman <rodchap@amazon.com>
+ */
+module Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM1024 =
+    Primitive::Asymmetric::Cipher::ML_KEM::Specification where
 
 type k = 4
 type eta_1 = 2

Primitive/Asymmetric/Cipher/ML_KEM/Instantiations/ML_KEM512.cry

@@ -1,12 +1,13 @@
 /*
-@copyright Galois, Inc
-@author Marios Georgiou <marios@galois.com>
+ * @copyright Galois, Inc
+ * @author Marios Georgiou <marios@galois.com>
+ *
+ * @copyright Amazon.com or its affiliates.
+ * @editor Rod Chapman <rodchap@amazon.com>
+ */
 
-@copyright Amazon.com or its affiliates.
-@editor Rod Chapman <rodchap@amazon.com>
-*/
-
-module ml_kem512 = specification where
+module Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM512 =
+    Primitive::Asymmetric::Cipher::ML_KEM::Specification where
 
 type k = 2
 type eta_1 = 3

Primitive/Asymmetric/Cipher/ML_KEM/Instantiations/ML_KEM768.cry

@@ -1,11 +1,12 @@
 /*
-@copyright Galois, Inc
-@author Marios Georgiou <marios@galois.com>
-
-@copyright Amazon.com or its affiliates.
-@editor Rod Chapman <rodchap@amazon.com>
-*/
-module ml_kem768 = specification where
+ * @copyright Galois, Inc
+ * @author Marios Georgiou <marios@galois.com>
+ *
+ * @copyright Amazon.com or its affiliates.
+ * @editor Rod Chapman <rodchap@amazon.com>
+ */
+module Primitive::Asymmetric::Cipher::ML_KEM::Instantiations::ML_KEM768 =
+    Primitive::Asymmetric::Cipher::ML_KEM::Specification where
 
 type k = 3
 type eta_1 = 2

Primitive/Asymmetric/Cipher/ML_KEM/Specification.cry

@@ -7,7 +7,7 @@ ML-KEM cipher with a fast NTT implementation.
 @copyright Amazon.com or its affiliates.
 @author Rod Chapman <rodchap@amazon.com>
 */
-module specification where
+module Primitive::Asymmetric::Cipher::ML_KEM::Specification where
 
 type q = 3329