Continued the work

* beefed up the todos a little with numbers (tried to fix the bug with
  the \checkthis that borks but it failed
* changed "geometric properties" to "preservation properties"
* removed redundant lemmas, we cite all our results except for
  definitions which introduce the notation
* started the table with geometric properties