typed-digits changelog

Digits, indexed by their base at the type level