Stream' α is an infinite sequence of elements of
α. One can also think about it as an
infinite list. In this file we define
Stream' and some functions that take and/or return streams.
Note that we already have
Stream to represent a similar object, hence the awkward naming.