Add Temperley-Lieb algebras to the category of cellular algebras

[tscrim]

Temperley-Lieb algebras are known to be cellular algebras with their natural basis being a cell basis (given by splitting the diagram is half). We let the Sage implementation know about this.

📝 Checklist

• The title is concise, informative, and self-explanatory.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation accordingly.

⌛ Dependencies

• Tensor, exterior, and symmetric product of semigroup representations #37393 This also requires fixes to the ascii/unicode art for the indexed basis elements in order for them to display properly in the cases here.

[github-actions]

Documentation preview for this PR (built with commit 1d23137; changes) is ready! 🎉

[mkoeppe]

LGTM.

[tscrim]

Thank you.