term construction abstract machine

**please review**
constructing or evaluating?