[logic-ml] univalence models for equivariant homotopy theory over a compact Lie group