Categories for Rust Repair