MLton implementation of quote filter. See some discussion of threading and interrupts at http://www.mlton.org/pipermail/mlton-user/2009-August/001559.html Seems to perform quite poorly compared to the PolyML version.