Substitution documentation done, and modification of the order relation: there are now only four relations. Simplification of the combine_overlaping in SubstitutionSequence as well.