Yes, having two dedicated constraints seems very reasonable. I'm also no big fan of `mod11CheckDigit10()` and `mod11CheckDigit11()`, in particular as it allows for using Mod 10 as type together with these options which deon't make sense.