4 files changed, 22 insertions, 24 deletions
diff --git a/test/typecheck/pass/exist_synonym/v1.expect b/test/typecheck/pass/exist_synonym/v1.expect
index 583c4485..fb1b2619 100644
--- a/test/typecheck/pass/exist_synonym/v1.expect
+++ b/test/typecheck/pass/exist_synonym/v1.expect
@@ -3,5 +3,4 @@ Type error at file "exist_synonym/v1.sail", line 6, character 42 to line 6, char
 let x : {'n, 0 <= 'n <= 33. regno('n)} = [41m4[0m
 
 Tried performing type coercion from int(4) to {'n, (0 <= 'n & 'n <= 33). regno('n)} on 4
-Failed because
-Could not prove constraints (0 <= 'n & ('n + 1) <= 32) in type synonym int('n) with (0 <= 'n & 'n <= 33)
+Coercion failed because: Could not prove constraints (0 <= 'n & ('n + 1) <= 32) in type synonym int('n) with (0 <= 'n & 'n <= 33)
diff --git a/test/typecheck/pass/exist_synonym/v2.expect b/test/typecheck/pass/exist_synonym/v2.expect
index baddbcb0..5bde04ba 100644
--- a/test/typecheck/pass/exist_synonym/v2.expect
+++ b/test/typecheck/pass/exist_synonym/v2.expect
@@ -3,5 +3,4 @@ Type error at file "exist_synonym/v2.sail", line 6, character 41 to line 6, char
 let x : {'n, 0 <= 'n <= 8. regno('n)} = [41m4[0m
 
 Tried performing type coercion from int(4) to {'n, (0 <= 'n & 'n <= 8). regno('n)} on 4
-Failed because
-Could not prove constraints (0 <= 'n & ('n + 1) <= 2) in type synonym int('n) with (0 <= 'n & 'n <= 8)
+Coercion failed because: Could not prove constraints (0 <= 'n & ('n + 1) <= 2) in type synonym int('n) with (0 <= 'n & 'n <= 8)
diff --git a/test/typecheck/pass/global_type_var/v1.expect b/test/typecheck/pass/global_type_var/v1.expect
index f190de92..7e3b517c 100644
--- a/test/typecheck/pass/global_type_var/v1.expect
+++ b/test/typecheck/pass/global_type_var/v1.expect
@@ -3,22 +3,22 @@ Type error at file "global_type_var/v1.sail", line 23, character 14 to line 23,
 let _ = test([41m32[0m)
 
 Tried performing type coercion from int(32) to int('size) on 32
-Failed because
-[1mint(32) is not a subtype of int('size)[21m
-in context
-* 'size = 'ex8#
-* ('ex8# = 32 | 'ex8# = 64)
-* ('ex7# = 32 | 'ex7# = 64)
-where
-* 'ex7# bound at file "global_type_var/v1.sail", line 5, character 5 to line 5, character 32
+Coercion failed because:
+  int(32) is not a subtype of int('size)
+  in context
+  * 'size = 'ex8#
+  * ('ex8# = 32 | 'ex8# = 64)
+  * ('ex7# = 32 | 'ex7# = 64)
+  where
+  * 'ex7# bound at file "global_type_var/v1.sail", line 5, character 5 to line 5, character 32
 
 let [41m(size as 'size) : {|32, 64|}[0m = 32
 
-* 'ex8# bound at file "global_type_var/v1.sail", line 5, character 6 to line 5, character 18
+  * 'ex8# bound at file "global_type_var/v1.sail", line 5, character 6 to line 5, character 18
 
 let ([41msize as 'size[0m) : {|32, 64|} = 32
 
-* 'size bound at file "global_type_var/v1.sail", line 5, character 14 to line 5, character 18
+  * 'size bound at file "global_type_var/v1.sail", line 5, character 14 to line 5, character 18
 
 let (size as [41m'size[0m) : {|32, 64|} = 32
 
diff --git a/test/typecheck/pass/global_type_var/v2.expect b/test/typecheck/pass/global_type_var/v2.expect
index ddfac3e4..dc1281d2 100644
--- a/test/typecheck/pass/global_type_var/v2.expect
+++ b/test/typecheck/pass/global_type_var/v2.expect
@@ -3,22 +3,22 @@ Type error at file "global_type_var/v2.sail", line 23, character 14 to line 23,
 let _ = test([41m64[0m)
 
 Tried performing type coercion from int(64) to int('size) on 64
-Failed because
-[1mint(64) is not a subtype of int('size)[21m
-in context
-* 'size = 'ex8#
-* ('ex8# = 32 | 'ex8# = 64)
-* ('ex7# = 32 | 'ex7# = 64)
-where
-* 'ex7# bound at file "global_type_var/v2.sail", line 5, character 5 to line 5, character 32
+Coercion failed because:
+  int(64) is not a subtype of int('size)
+  in context
+  * 'size = 'ex8#
+  * ('ex8# = 32 | 'ex8# = 64)
+  * ('ex7# = 32 | 'ex7# = 64)
+  where
+  * 'ex7# bound at file "global_type_var/v2.sail", line 5, character 5 to line 5, character 32
 
 let [41m(size as 'size) : {|32, 64|}[0m = 32
 
-* 'ex8# bound at file "global_type_var/v2.sail", line 5, character 6 to line 5, character 18
+  * 'ex8# bound at file "global_type_var/v2.sail", line 5, character 6 to line 5, character 18
 
 let ([41msize as 'size[0m) : {|32, 64|} = 32
 
-* 'size bound at file "global_type_var/v2.sail", line 5, character 14 to line 5, character 18
+  * 'size bound at file "global_type_var/v2.sail", line 5, character 14 to line 5, character 18
 
 let (size as [41m'size[0m) : {|32, 64|} = 32