definition of Language
rename FA => Automaton, generic but finite
unicode arrow FTW
make Language a datatype rather than a predicate
THIS IS AGDAAAAA!!!!!
fix Language's contructor