The 3x3 identity: ones on the diagonal, zeros elsewhere.
Matrix3_Identity :: Matrix3.{ _11 = 1, _22 = 1, _33 = 1 }