Verallgemeinerter Addierer
Es gelte digits p (2*k) xs && c `below` 2
code p (k+1) (deco p k (evns xs) + deco p k (odds xs) + c)
Interpretation: c ist der Übertrag.
Beachte, daß c rein formal, "ohne Nachdenken" eingeführt wurde!
Das Ausgangsproblem erhält man durch die Einbettung
add p k xs = cadd p k (xs ++ [0])