0.1

• Drop superclasses from Kleene.
• Rearrange classes. Introduce CharKleene, FiniteKleene.
• Add ToLatin1 and ability to match on ByteString.
• Add Derivate c (DFA c) instance.
• Add toDot to output DFA to be rendered by graphviz.
• Add fromRE :: RE c -> ERE c
• Add nullableProof :: RE c -> Maybe (RE c) which returns non-nullable part of given regular expression.
• Support/require lattices-2: RE is now a Lattice, M isn't.