[ issue619 ] print literal QNames as "quote x" also in terms