Add some TO-DO's, more debug logging, assert-based checking
Add commented-out supersub usepackage
Factor out bibliography reading into additional method; don't call it, for now.