add more stuff about vector spaces and linear maps