Merge branch 'feature/cleaned-up-sumfac' into 'master'

Sum factorization!

This is the new merge requests that supersedes both !42 and !45.

Also bumps submodules in various places, as loopy has had a rough week.

Also fixes #47, #20 .

See merge request !47