Properly implemented Let in CPM, except for the caveats in TODOs.