So in summary, it would seem that all reader actions invoked by a reader
transform token should apply to the following correspondingly processed
<s-exp>, implying: (showing only reader actions)

 (' ' <s-exp>) :: ({quote {quote <s-exp>}}) => ((quote (quote <s-exp>)))

 (#; #; <s-exp>) :: ({remove {remove <s-exp>}}) => ()

 (#; ' <s-exp>) :: ({remove {quote <s-exp>}}) => ()

 (' #; <s-exp>) :: ({quote {remove <s-exp>}}) => (') ; error, unbound 'quote