[Typer] [Git][monnier/typer][master] Type check values added via env_extend