term construction abstract machine

**please review**
It is configured that way but these files were modified by an automatic refactoring which apparently skips that step. Whoops. Good catch.