Реализацията е вярна и идеята за filter-accum е добра.
+inf.0 е напълно ненужно, може да се използва просто (+ b 1) за nv.
Sumdigits също може да се реализира с accumulate, макар че ще е малко изкуствено. Като друг вариант на решение, може да не се търси истинската сума, а сума по модул k.