Experiments with ZF2