remove some old debugging code
make fold() much smarter at inferring types