Corrected typo in type signature in CMP paper.