LIST.listRange in legacy kore, more list hooks and list matching in booster#4108

automergerpr-permission-manager[bot] merged 16 commits into

masterruntimeverification/haskell-backend:masterfrom

more-list-hooksruntimeverification/haskell-backend:more-list-hooksCopy head branch name to clipboard