Flesh out Rotation{2, 3} traits, and impl for some types