Some extensions for ZF2