Print bool correctly in repl

Closes #4149

crates/repl_eval/src/eval.rs

@@ -1153,6 +1153,10 @@ fn bool_to_ast<'a, M: ReplAppMemory>(
                 }
             }
         }
+        Alias(Symbol::BOOL_BOOL, _, _, _) => Expr::Var {
+            module_name: "Bool",
+            ident: if value { "true" } else { "false" },
+        },
         Alias(_, _, var, _) => {
             let content = env.subs.get_content_without_compacting(*var);
 

crates/repl_test/src/tests.rs

@@ -1239,3 +1239,39 @@ fn record_of_poly_function_and_string() {
         r#"{ a: <function>, b: "b" } : { a : * -> Str, b : Str }"#,
     );
 }
+
+#[test]
+fn expr_produces_bool() {
+    expect_success(
+        indoc!(
+            r#"
+            1 == 1
+            "#
+        ),
+        r#"Bool.true : Bool"#,
+    );
+}
+
+#[test]
+fn bool_true() {
+    expect_success(
+        indoc!(
+            r#"
+            Bool.true
+            "#
+        ),
+        r#"Bool.true : Bool"#,
+    );
+}
+
+#[test]
+fn bool_false() {
+    expect_success(
+        indoc!(
+            r#"
+            Bool.fasle
+            "#
+        ),
+        r#"Bool.false : Bool"#,
+    );
+}