sagemathgh-38989: tentative of free-Algebra functor

    
This is trying to create a functor for free Associative unital algebras.

Using as a model the case of free Pre-Lie algebras.

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation and checked the documentation
preview.
    
URL: sagemath#38989
Reported by: Frédéric Chapoton
Reviewer(s): Travis Scrimshaw