Update performance numbers (mostly improved)
Another test for type function saturation

Came up on GHC users list
Small improvement to unsaturated-type-function error message