diff --git a/tests/expectations/compiler/statements/typecheck_statements_fail.out b/tests/expectations/compiler/statements/typecheck_statements_fail.out
index dddb922358..1aa6339b91 100644
--- a/tests/expectations/compiler/statements/typecheck_statements_fail.out
+++ b/tests/expectations/compiler/statements/typecheck_statements_fail.out
@@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372007]: Expected one type from `i16`, but got `i32`\n    --> compiler-test:5:33\n     |\n   5 |         let c1 : u32 = 123i16 * 123i32;\n     |                                 ^^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `u32`\n    --> compiler-test:5:24\n     |\n   5 |         let c1 : u32 = 123i16 * 123i32;\n     |                        ^^^^^^^^^^^^^^^\nError [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:6:24\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                        ^^^^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `string`\n    --> compiler-test:6:24\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                        ^^^^^^^^\nError [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:6:44\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                                            ^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `string`\n    --> compiler-test:6:44\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                                            ^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `u32`\n    --> compiler-test:6:24\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:7:24\n     |\n   7 |         let c3 : u32 = \"123i32\" * \"sss\";\n     |                        ^^^^^^^^\nError [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:7:35\n     |\n   7 |         let c3 : u32 = \"123i32\" * \"sss\";\n     |                                   ^^^^^\nError [ETYC0372003]: Expected type `field, group, integer, or scalar` but type `string` was found\n    --> compiler-test:7:24\n     |\n   7 |         let c3 : u32 = \"123i32\" * \"sss\";\n     |                        ^^^^^^^^\nError [ETYC0372003]: Expected type `field, group, integer, or scalar` but type `string` was found\n    --> compiler-test:7:35\n     |\n   7 |         let c3 : u32 = \"123i32\" * \"sss\";\n     |                                   ^^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i16`\n    --> compiler-test:8:30\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                              ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i32`\n    --> compiler-test:8:37\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                     ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i64`\n    --> compiler-test:8:44\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                            ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u8`\n    --> compiler-test:8:51\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                                   ^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u16`\n    --> compiler-test:8:57\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                                         ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u32`\n    --> compiler-test:8:64\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                                                ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u64`\n    --> compiler-test:8:71\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                                                       ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u32`\n    --> compiler-test:8:24\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:9:26\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                          ^^^^^^^^\nError [ETYC0372003]: Expected type `i16` but type `string` was found\n    --> compiler-test:9:26\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                          ^^^^^^^^^^^^^^^^^\nError [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:9:49\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                                                 ^^^^^\nError [ETYC0372003]: Expected type `i8` but type `string` was found\n    --> compiler-test:9:49\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                                                 ^^^^^^^^^^^\nError [ETYC0372003]: Expected type `i8` but type `string` was found\n    --> compiler-test:9:49\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                                                 ^^^^^^^^^^^^^^^^^\nError [ETYC0372003]: Expected type `u32` but type `string` was found\n    --> compiler-test:9:49\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^\n"
+  - "Error [ETYC0372007]: Expected one type from `i16`, but got `i32`\n    --> compiler-test:5:33\n     |\n   5 |         let c1 : u32 = 123i16 * 123i32;\n     |                                 ^^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `u32`\n    --> compiler-test:5:24\n     |\n   5 |         let c1 : u32 = 123i16 * 123i32;\n     |                        ^^^^^^^^^^^^^^^\nError [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:6:24\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                        ^^^^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `string`\n    --> compiler-test:6:24\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                        ^^^^^^^^\nError [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:6:44\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                                            ^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `string`\n    --> compiler-test:6:44\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                                            ^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `u32`\n    --> compiler-test:6:24\n     |\n   6 |         let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:7:24\n     |\n   7 |         let c3 : u32 = \"123i32\" * \"sss\";\n     |                        ^^^^^^^^\nError [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:7:35\n     |\n   7 |         let c3 : u32 = \"123i32\" * \"sss\";\n     |                                   ^^^^^\nError [ETYC0372003]: Expected type `field, group, integer, or scalar` but type `string` was found\n    --> compiler-test:7:24\n     |\n   7 |         let c3 : u32 = \"123i32\" * \"sss\";\n     |                        ^^^^^^^^\nError [ETYC0372003]: Expected type `field, group, integer, or scalar` but type `string` was found\n    --> compiler-test:7:35\n     |\n   7 |         let c3 : u32 = \"123i32\" * \"sss\";\n     |                                   ^^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i16`\n    --> compiler-test:8:30\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                              ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i32`\n    --> compiler-test:8:37\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                     ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i64`\n    --> compiler-test:8:44\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                            ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u8`\n    --> compiler-test:8:51\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                                   ^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u16`\n    --> compiler-test:8:57\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                                         ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u32`\n    --> compiler-test:8:64\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                                                ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u64`\n    --> compiler-test:8:71\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                                                                       ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u32`\n    --> compiler-test:8:24\n     |\n   8 |         let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:9:26\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                          ^^^^^^^^\nError [ETYC0372003]: Expected type `i16` but type `string` was found\n    --> compiler-test:9:26\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                          ^^^^^^^^^^^^^^^^^\nError [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:9:49\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                                                 ^^^^^\nError [ETYC0372003]: Expected type `i8` but type `string` was found\n    --> compiler-test:9:49\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                                                 ^^^^^^^^^^^\nError [ETYC0372003]: Expected type `i8` but type `string` was found\n    --> compiler-test:9:49\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                                                 ^^^^^^^^^^^^^^^^^\nError [ETYC0372003]: Expected type `u32` but type `string` was found\n    --> compiler-test:9:49\n     |\n   9 |         let c16: bool = (\"123i32\" & 123i16) == (\"sss\" / 1i8 - 1i8 + 22u32);\n     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^\n"
diff --git a/tests/expectations/compiler/strings/string.out b/tests/expectations/compiler/strings/string.out
index a4ad914c10..74a7b00e48 100644
--- a/tests/expectations/compiler/strings/string.out
+++ b/tests/expectations/compiler/strings/string.out
@@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:6:9\n     |\n   6 |         let str:string = \"a a a\";\n     |         ^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:6:26\n     |\n   6 |         let str:string = \"a a a\";\n     |                          ^^^^^^^\nError [ETYC0372049]: Strings are not yet supported.\n    --> compiler-test:7:19\n     |\n   7 |         if(str == \"b b  b\") {\n     |                   ^^^^^^^^\n"
+  - "Error [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:6:9\n     |\n   6 |         let str:string = \"a a a\";\n     |         ^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:6:26\n     |\n   6 |         let str:string = \"a a a\";\n     |                          ^^^^^^^\nError [ETYC0372050]: Strings are not yet supported.\n    --> compiler-test:7:19\n     |\n   7 |         if(str == \"b b  b\") {\n     |                   ^^^^^^^^\n"