A. Ghost Not looks overcomplicated at first sight. I believe that there should a simplier way if concept will refined. I cannot catch relation between putting on whiteborad (map) and primary algebra (BTW Alan, when you will fix a bug in description of it?). Does you really need "crossing bound" concept in Ghost Not?) [My excuse is that it's one of the ways to see it - but you are right that it isn't necessary to explain the idea! - Alan]
B. I think that list of core ideas in consise form at end of papers will be very useful. I think that it is essential for simplifying papers. My starting point for "Ghost Not".
C. I feel uncomfortable with usage of "isomorphism" term in some posts. It was said that a map is isomorphic to world. Isomorphism is relationship of equivalence in math. It is symetrical. So if we say that map is isomorphic to world, we say that map is the world and the world is the map. So the map is the territory. I do not think that it was intentendent meaning.