Mainly used to reorganize a term representing a sequence to select new endpoints for a subterm.
(Also may be used to set an "edit mark" used by a few utilities.)
doc for term sequences IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html