improve performance of language_map()
instead of making all possible equivalence checks, use the construct from the proof of Lemma 4.1 in Minimisation of Deterministic Parity and Büchi Automata and Relative Minimisation of Deterministic Finite Automata.