Add support for typed* (nested) Quote expressions

[GoogleCodeExporter]

Now that we have our own quotation evaluator, we are able to support expression 
types we were not able to before due to PowerPack's lack of support. One such 
expression is Quote. However, it appears impossible to differentiate between 
typed and untyped nested quotations (Quote expressions), all of them are as 
untyped quoations. So we still have to limit ourselves to only untyped 
quotation expressions.

This has the interesting feature that we can now use unquote to test quotation 
processors, including itself, as fully captured quotation expressions.

Original issue reported on code.google.com by stephen....@gmail.com on 4 Jul 2011 at 5:29