Monadic list bind shrink

[nth-commit]

List could implement a different shrinking strategy when called with an OfLength, to solve this challenge: https://github.com/jlink/shrinking-challenge/blob/main/challenges/lengthlist.md

Note, this was solved in pbt proto inside the bind itself. But I think this was an over-generic/under-performant solution.