Add the mangling for literal operators proposed by
Sean Hunt on June 5th, 2011.