fix eval_closure description for validate()
better detection of correct caller level
minor improvements to exceptions
make text from explanations more consistent with text from error messages in terms of phrases and punctuation