kleene-0: Kleene algebra

Kleene algebra

Think: Regular expressions

Implements ideas from Regular-expression derivatives re-examined by Scott Owens, John Reppy and Aaron Turon https://doi.org/10.1017/S0956796808007090