Missing completion values

[arv]

All the productions in the spec have "Runtime Semantics: Evaluation" which includes speccing what the completion value is.

[jorendorff]

Yup. There's:

    //>     8. Let r be the result of evaluating mod.[[Body]].

which is already not the right wording, but also that will be a Module parse and there's no Evaluation algorithm for Module productions.

These should be straightforward, it's just work.