More work on Imp.
Finished ImpCEvalFun.