Do Group Actions Define Regular Polytopes and Polytypes in Type Systems?

I introduce an analogy between transitive group actions on flags of polytopes and type systems. This speculative concept aims to offer a naive way of understanding and classifying types through symmetry.