Further fleshed out the spec by including a document describing how selective evaluation and finite recursion might be implemented in eval.