Ah, ok, I didn't know that. Yes, having only one such enum would be better, but I can merge this as it is, if you want.