term construction abstract machine

**please review**
move this next to ```rhsInstructions()```?