small improvements in superposition about indexing and positions
small improvements in superposition about indexing and positions

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition