Re: [Typer] Explicit substitutions paper