Update readme
Do constant folding
Implement dead code elimination
Update readme