[plt-scheme] Semantics of quote

'a really, truly evaluates to 'a, which means for an reduction  
semantics, you can really view 'a as a value.

But the PRINTER renders 'a as a and ''a as 'a, which you correctly  
identified.

The sad thing is that this is needlessly confusing, especially for  
beginners. It is one of the reasons we have teaching languages that  
(1) don't allow quote for anything but symbols (pop quiz: is ''a a  
symbol?) and (2) renders things as constructed values (think abstract  
or universal algebra, if you're familiar with that).

-- Matthias