I sketched a way to develop almost all of linear_systems notes by redefining matrices and then porting the theory about arbitrary linear maps. It obsoletes most of the linear_systems notes. I will need to rework all of that eventually.