fix IZE False' bug (was forgotten)

also, clean up commented stuff
define Ize instance for EIO

at the price of undecidable instances :-(
how can we remove this circularity?
complete the EIO monad instance

it is a bit hacky, but should work :-)