Extractors for quotes
Extracts the content of a quoted tree. The result can be the contents of a term or type quote, which will return a term or type tree respectively.