defined kleene and maybe in terms of epsilon