Add much much better eof function to Combinators