suggested name: Centripetal Exaltation
takes a vector, an axis, and an angle (in rads), and outputs that vector rotated by that amount

This isn't trivially implementable with patterns as they are now, so it might be better to make an actual pattern.

What's next, Cartesian-to-cylindrical-to-spherical transformations?

MoreIotas supports this with Rotation Distillation via matrices - does Hex really need to implement it?