Գրեք սա: Unifying analytic and statically-typed quasiquotes