unused imports
more use of context bounds; moving some traits to axle.algebra