https://123dok.co/document/yng92j0p-the-monoid-of-linear-hypersubstitutions.html