No description provided.
Adds Abstract Algebra
It looks like AbstractAlgebra.scala contains both generated code and handwritten code. Would it not be better if we broke the generated code into its own file? We should also probably modify the generation script to write to that file directly (maybe, maybe not, up to you).
Don't know how to do that with the implicit resolution working properly. Show me how to do that please (without having to add extra imports to every file, which this code avoids by putting the implicits in the companion objects of the traits).
Break up autogenerated and manually written code in AbstractAlgebra.