Move Ring-stuff into algebra.ring.
Move VectorSpace and friends into algebra.space
Move odds-and-ends to algebra.real