TODO: Rotation function

[denricoNHS]

We could use a function rotate(v: Vector, angle: float) -> Vector that returns a new Vector representing the original Vector rotated by angle.