New finset.ml containing functions related to finite sets, which are implemented as lists; Nfa.projection on track tr now changes the transition function by putting a symbol X in the track tr of the letters transition(s,t) for all s and t; Added field talpha to teacher; Some new functions in modules.