Removed Lifting() and Reordering() from text serialization.