Some cleanup.
MoreInd
Finished ImpCEValFun
Finished Smallstep