Added Equiv.v
Added ImpCEvalFun.v
ImpCEvalFun.v exercises