A type system as a (Rust) library. Should be usable for various projects, but mainly for a new version of Carp.