Move more TODOs into issues #12, #13, and #14.