term construction abstract machine
fix copyright
revert unchanged files
fix Yilong's comments
Merge pull request #1270 from dwightguth/kmachine

term construction abstract machine