Remove useless functor.
Don’t verify that the target exists in the order when using the carrier() function.
Don’t use order’s identifiers for comparison, but rather theirs absolute positions in the said order.
Use order’s absolute positions in Local homomorphism.
Store order’s absolute positions in order nodes’ paths.
Factorize order’s types definitions.
Documentation.