We implement "functorial composition" of symmetric functions, an operation that comes from combinatorial species.

Depends on #34413
Depends on #34473

CC: @tscrim

Component: combinatorics

Keywords: LazyPowerSeries

Author: Martin Rubey

Branch/Commit: 2325826

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/34422