Eliminate argument-type overloading
Prepare to translate Java types to Rust types