Add more tests for passing on parameters

tests/modsys/functors/T026.cry

@@ -0,0 +1,21 @@
+interface submodule S where
+  x : [8]
+
+submodule G where
+  import interface submodule S
+  y = x + 1
+
+submodule F where
+  import interface submodule S as A
+
+  submodule H where
+    import submodule G { interface A }
+    z = A::x + y
+
+import submodule F where
+  x = 5
+
+import submodule H
+
+
+

tests/modsys/functors/T026.icry

@@ -0,0 +1,2 @@
+:load T026.cry
+z

tests/modsys/functors/T026.icry.stdout

@@ -0,0 +1,4 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main
+0x0b

tests/modsys/functors/T027.cry

@@ -0,0 +1,23 @@
+interface submodule S where
+  x : [8]
+
+submodule G where
+  import interface submodule S
+  y = x + 1
+
+submodule F where
+  import interface submodule S as A
+
+  submodule H where
+    import interface submodule S as A
+    import submodule G { interface A }
+    z = A::x + y
+
+import submodule F where
+  x = 5
+
+import submodule H where
+  x = 6
+
+
+

tests/modsys/functors/T027.icry

@@ -0,0 +1,2 @@
+:load T027.cry
+z

tests/modsys/functors/T027.icry.stdout

@@ -0,0 +1,4 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main
+0x0d

tests/modsys/functors/T028.cry

@@ -0,0 +1,17 @@
+interface submodule S where
+  x : [8]
+
+submodule G where
+  import interface submodule S
+  y = x + 1
+
+submodule F where
+  import interface submodule S
+  import submodule G { interface S }
+  z = x + y
+
+import submodule F where
+  x = 5
+
+
+

tests/modsys/functors/T028.icry

@@ -0,0 +1,2 @@
+:load T028.cry
+z

tests/modsys/functors/T028.icry.stdout

@@ -0,0 +1,4 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main
+0x0b