I have defined Stream of positive rational like this.
one : ℤ one = + 1 --giving a rational as input it will return next rational (in some down tailing method)
