Seol mar théacs é seo: Typed Quote/Antiquote—Or: Compile−time Parsing