Add MkIO among erasure postulates.
Disable forcing and collapsibility (dirty hack).