Ordered list type with efficient and streaming observation in two directions.