A complete map of the Rust type system