On the Theoretical Expressive Power and the Design Space of Higher-Order Graph Transformers