Tuning up type annotations
Cleaning up task-related code
Self notes
Totally rethinking the package layout
Comment cleanup

I don't think this item is truly as feasible as I once thought it was.
Moving antiquated comments
Removing `Topology`'s illegal dependency upon `PatchSet`
Cleaning up some types and varnames
Delegating `Topology` creation to a factory function