Slightly generalize fix
Cleanup, fix of fuel handling and start implementing pe
Remove obsolete `nofix' version of ev
Fix iterator example and test
First try, term equivalence of the base language