Polish list lookup patterns #4640
Description
We are adding a new feature to K that allows users to pattern match on an arbitrary element index of a term of sort List. The feature is not fully polished yet. We would like to add support for ... in cells of sort List, and the type="List" cell collections. Thought needs to be put into how to design this exactly, but the goal is to make it easier to write patterns declaratively.