Rename Rotation.ml to rotation.ml