feat: objects representing functors to CommMon satisfy IsCommMon (#22700) From Toric
CommMon
IsCommMon