Seol mar théacs é seo: Unifying analytic and statically-typed quasiquotes