Well, In my use case I don't care what we use as `original` for the resulting `TypeTree`. The only thing I about care is that we don't set `tpe` fields of untyped trees randomly, which is a contract that the Typer has to follow everywhere. So I don't think a comment is helpful here.