Evaluate destructured terms.
Flesh out the evaluator.