typePrimRep invariants