Correctly propagate information about whether index is ordered (and add test coverage)