When we reline pipes we note it only with attribution - we update the pipe material in our AMS to show it has been relined. We change it to include both materials, as on outside of pipe will be one material (handy if looking for a specific pipe) and inside will be the new material. We will also have another attribute that just flags it as having been relined. Most important change we make however is the life-expectancy, as this will be extended as a result of the relining.
So looking at your 3 options, I'd go with #1. I think you've already ruled out #3, and to me #2 doesn't really fit your existing model - the relined pipe is still a gravity sewer (for example), so really all that has changed is info about the pipe, not the function of the pipe itself. Symbolising to show that a pipe is relined only makes sense if you already symbolise other lines based on their material. If you symbolise based on function (as we do), then material should be irrelevant, and identifying the pipe through the GIS to find material (or similar) attribute should be adequate.
HTH
Mike.