started some work in order to provide with streams for lambda calculus