[Typer] Explicit substitutions paper