Abstract Algebra Traits for Rust