Adding support for let

Right now, we generate redex.
Adding let, reflecting the GHC Core.
Adding fix to what is reified.
Was working.