term construction abstract machine

**please review**
same as above