Added functor [Nfa]; Interaces [Value] and [Alphabet] and implementations