Improve fold* tests, implement Popr