Pensieve header: An attempt to implement the Taft algebra and its double.

Conventions follow Montgomery, Schneider, “Skew derivations of finite-dimensional algebras and actions of the double of the Taft Hopf algebra”.