linalg2: do up to first isomorphism theorem for vector spaces
linalg2: add material on sums of subspaces. move vector space stuff from linalg to linalg2