Switch to #lang racket, change the representation of NFAs, and add the eclosure fonction.