The (cid:21) (cid:5) -calculus Modulo as a Universal Proof Language