Regulære udtryk implementeret i logik-metoder. Ikke færdigt endnu.
Design forbedret i nogle klasser.