Fixing call/ec PR.

I thought this was incorporated in my PR concerning call/ec. It was instead in a different branch I based the PR off. The proposed test should evaluate to the (values String Symbol Boolean) that it does, but the type call/cc had should not have allowed the body to only have one return value (a reasonable limitation of typing multiple values).
These need purpose statements (or at least explanations).