More attempts to get the transform right. I now need to annotate each empty-X with the actual spaces involved, make addresses have different qualities 'deref on match, lazy on match, eager on match, deref on equal, identity on equal' instead of just structural/egal which are the equal qualities. This makes map abstraction make more sense and leads to lazy non-determinism in its many shapes.