pub fn hat(w: Vec3) -> Mat3
Hat operator. Goes from so3 parameterization to so3 element (skew-symmetric matrix).