Stav dette: Unifying analytic and statically-typed quasiquotes