[Typer] Tension entre langage et métaprogrammation