Are the SteenrodAlgebraT etc. traits still needed? They were introduced for the python bindings and I think they were added during a time where various things are hardcoded to accept SteenrodAlgebra only. Nowadays everything is properly polymorphic. Should we just remove these traits now?

@hoodmane