Unify multi and single checkdigit. Remove algorithm structure and replace with Unary[Function | Predicate] corresponding to validate and compute checkdigit.