move container-map lens definition into figure to avoid half a page of white space
reference a chapter instead of the conference paper when in dissertation mode
improve the behavior of deletions in restructuring lens
alphabetical order lol
fewer line breaks in restructuring lens definition
improve insert case and insert delete case of restructuring lens proof