Add AdditiveGroup
Further work on vector-space-izing.
First full draft of vector-space stuff.
Incorporate vector-space. Fix #6.