Finished to-dos (except moving TR and Haskell implementations of Ch. 7)