Fix digital multiplier

This fixes the evalpush-limit problems with digital multiplier, and renames a few things.