Destructuring of terms.
Small step eval.
Complete eval.