Bummer! Somehow the type-checker does get into business with "expressions"
inside quotations.

I believe this is a bug, and a quotation should be built for {{{[| False
True |]}}} in spite of {{{False True}}} not being typeable.

I know that using quasi-quotations I can build my own parser and rewrite
engine around this, but that is a tad heavyweight for me and I'd like to
understand the root of the above inconsistency and why the type checker
gets active in some cases above, but not in others.