fix base cases
Adding Simplification to Prelude
Adding Simplification to Prelude
Fixing the fresh name bug
Fixing the CSE bug
Fixing bugs and making examples produce the same C code