A theory of 2-pro-objects (with expanded proofs)