This crate isn't used by any other public crates. Go back to zkllvm-rslang-types-pre.