Rust: Move more type inference logic into shared library

Rust: Move more type inference logic into shared library #7711