Exports matrices into latex tabular text.
Simplify/complicate isomorphism algorithm.

At the same time, simplify the implementation of the isomorphism algorithm
and add the possibility to inject different prunning, final and validation conditions
into the algorithm. Nice.
Make the new isomorphism official.