Detect number of return values in specs #98

I'm not sure whether this is a general specl feature, or stdlib-specific, but I feel the problem fixed by a14c5df of a function returning too many values should have been detected automatically.