diff --git a/tests/issues/issue177.cry b/tests/issues/issue177.cry
index d17758b7..650b1fb8 100644
--- a/tests/issues/issue177.cry
+++ b/tests/issues/issue177.cry
@@ -1,11 +1,18 @@
 module issue177 where
 
-import Cryptol
+import issue177A
+import issue177B as B
+import issue177C as C
 
-type Byte = Cryptol::Word 8
+type Byte = [8]
 
-x : issue177::Byte
-x = Cryptol::undefined
+w : Byte
+w = zero
 
-y : Byte
-y = issue177::x
+x : Word16
+x = zero
+
+y : B::Word32
+y = zero
+
+z = C::z
diff --git a/tests/issues/issue177.icry b/tests/issues/issue177.icry
index 5725d109..7f1a7ad9 100644
--- a/tests/issues/issue177.icry
+++ b/tests/issues/issue177.icry
@@ -1 +1,5 @@
 :l issue177.cry
+:t w
+:t x
+:t y
+:t z
diff --git a/tests/issues/issue177.icry.stdout b/tests/issues/issue177.icry.stdout
index 2b9d9933..8ec58afd 100644
--- a/tests/issues/issue177.icry.stdout
+++ b/tests/issues/issue177.icry.stdout
@@ -1,3 +1,10 @@
 Loading module Cryptol
 Loading module Cryptol
+Loading module issue177A
+Loading module issue177B
+Loading module issue177C
 Loading module issue177
+w : Byte
+x : Word16
+y : B::Word32
+z : ?issue177C::Word64
diff --git a/tests/issues/issue177A.cry b/tests/issues/issue177A.cry
new file mode 100644
index 00000000..84cff733
--- /dev/null
+++ b/tests/issues/issue177A.cry
@@ -0,0 +1,3 @@
+module issue177A where
+
+type Word16 = [16]
diff --git a/tests/issues/issue177B.cry b/tests/issues/issue177B.cry
new file mode 100644
index 00000000..28ec23ba
--- /dev/null
+++ b/tests/issues/issue177B.cry
@@ -0,0 +1,3 @@
+module issue177B where
+
+type Word32 = [32]
diff --git a/tests/issues/issue177C.cry b/tests/issues/issue177C.cry
new file mode 100644
index 00000000..b46ee5e7
--- /dev/null
+++ b/tests/issues/issue177C.cry
@@ -0,0 +1,7 @@
+module issue177C where
+
+z : Word64
+z = zero
+
+private
+  type Word64 = [64]