Renumbering Files and Creating Appendix

We would need to still go back and fill the appendix with some
reasonable glue text. Parts of the statements of the theorems were
included in the preceding text.
Taking out proofs of hierarchy and cartesian from the main body

Now we're down to 11 pages and a bit for the main body excluding the
abstract, bibtex and the appendix