Text this: Well-definedness of Streams by Transformation and Termination