Text this: Order-Invariant Types and Their Applications