solar-typeck

This crate is expected to be officially released soon, but is currently being reserved to prevent name conflicts before the package is fully ready for crates.io.