made Lst/Maybe invariant.  added my own stream implementation