Added some stuff, rewrote diags using tikz-cd.