AFN quase pronto. A fazer: Tratar excesso de entrada, para retornar valor "fail" ao invés de exceção.
Operações de Mônada para Set.
Manutenções.
Tipo algébrico para AFD.
Correções no AFN e módulo para conversão AFN -> AFD.
Generalização de Regex.
Ajustes na formatação.