Fix all suggestions in CDef.hs
Add EvalLazyTest.hs