Traqula docs
    Preparing search index...
    translateAlgReduced: AstIndir<
        "translateReduced",
        PatternGroup,
        [Algebra.Reduced],
    > = ...

    Makes the query its input translates into REDUCED.