term construction abstract machine

**please review**
remove this