I think it makes sense to have a dedicated @LuhnCheck. In fact once upon a time there was already such a thing, but we removed it for a generic @ModCheck constraint. In hindsight this might have been a bad idea which sprang out of mislead generalization.