remove universes, and comment out lotsa code

Author: nikomatsakis

Cargo.lock

@@ -22,7 +22,6 @@ members = [
     "crates/formality-macros",
     "crates/formality-core",
     "crates/formality-types",
-    "crates/formality-logic",
     "crates/formality-decl",
     "crates/formality-mir",
     "crates/formality-check",

Cargo.toml

@@ -9,7 +9,6 @@ edition = "2021"
 formality-types = { path = "../formality-types" }
 formality-macros = { path = "../formality-macros" }
 formality-core = { path = "../formality-core" }
-formality-logic = { path = "../formality-logic" }
 formality-decl = { path = "../formality-decl" }
 formality-mir = { path = "../formality-mir" }
 tracing = "0.1"

crates/formality-check/Cargo.toml

@@ -1,5 +1,4 @@
 use formality_decl::grammar::{Adt, AdtBoundData, AdtVariant, Field};
-use formality_logic::Env;
 use formality_types::{
     cast::To,
     grammar::{Fallible, Hypothesis},

crates/formality-check/src/adts.rs

@@ -1,4 +1,5 @@
 #![allow(dead_code)]
+#![cfg(FIXME)]
 
 use std::collections::VecDeque;
 

crates/formality-check/src/lib.rs

@@ -9,7 +9,6 @@ edition = "2021"
 formality-types = { path = "../formality-types" }
 formality-macros = { path = "../formality-macros" }
 formality-core = { path = "../formality-core" }
-formality-logic = { path = "../formality-logic" }
 tracing = "0.1"
 contracts = "0.6.3"
 anyhow = "1.0.66"