MAKE now reuturns true if and only if something was modified.
Bug fixes and new transformation for removing temporaries holding constants.