A playground for ZF2