Update CRUD example with new knowledge of FilteredList

Current apparently incomplete SAM conversion and type inference
make the code somewhat verbose, sadly.