> Yes, and printing seems almost sole use of #isLiteral.

I use it in my package LambdaMessageSend, for block-compiling.

If the meaning of #isLiteral is to indicate that what is printed can be 
read back (i.e. will be correctly parsed) then I think it is a very 
useful message that we should keep.

Stef