New utility for assigning to all vars in a D-VAR-SPEC.
BODY-FORM now only takes the clause as an argument.
Modify method on BODY-FORM to take a single parameter.
Separated computation of BODY-FORM and PROLOGUE-FORM.
Added code for computing PROGLOGUE-FORM, STEP-FORM, and BODY-FORM.