term construction abstract machine

**please review**