intermediate checkin

Turned out that we need to massively update Determinants and Space, which I will be working for a while.