4.6 + make-let
4.7
4.8
4.8 corrected
4.8 corrected & transformed