Clipper: Clipboard Manager Type Machine