term construction abstract machine

**please review**
remove this? I am not sure if it's used.