matkaba#value#TypeMatches and friends should support recursively checking nested list element types

When checking collection types, it would be handy if `maktaba#value#TypeMatches` (and `#TypeMatchesOneOf` and their `maktaba#ensure#` variants) would recursively consider nested types to simplify checking for types like list-of-strings:
```vim
:echo maktaba#value#TypeMatches([1], [''])
0
```
```vim
:echo maktaba#ensure#TypeMatchesOneOf([''], [ 0, [[]] ])
```
`E605: Exception not caught: ERROR(WrongType): Expected a number or list of lists. Got a list.`