Typo fixes

phases/context.mli

@@ -28,7 +28,7 @@
     Specifically, when a function parameter or local variable shadows a variable
     in a higher scope (either an ancestor function or the global scope),
     initializations in the corresponding function that reference the shadowed
-    variable will be invalidated when the initialization moved down after
+    variable will be invalidated when the initialization is moved down during
     desugaring. This fixed by first traversing into the initialization part of a
     variable declaration before adding the newly declared variable to the scope,
     and then renaming the declared variable and all of its future uses. An

phases/dimreduce.mli

@@ -50,7 +50,7 @@ void foo(int[a, b, c] p) \{
 {v extern int __ext_0;  // imported dimensions moved to new variables
 extern int[__ext_0] ext;
 
-void foo(int a, int b, int c, int[] p) \{  // array parameter
+void foo(int a, int b, int c, int[a, b, c] p) \{  // array parameter
     int n; int m; int k; int[n, m, k] q;
     n = 5;
     m = 10;
@@ -65,7 +65,7 @@ void foo(int a, int b, int c, int[] p) \{  // array parameter
 {v extern int __ext_0;
 extern int[] ext;                  // removing dimension information
 
-void foo(int[a, b, c] p) \{
+void foo(int a, int b, int c, int[a, b, c] p) \{
     int n; int m; int k; int[] q;  // removing dimension information
     n = 5;
     m = 10;