Fixes

This includes !12 (merged), so !12 (merged) needs to be merged first.

By Thorsten Wißmann on 2019-03-21T14:10:15 (imported from GitLab project)

added 3 commits

• 4eabd159...f77957a9 - 2 commits from branch master
• f81eea8c - Fix sum in MonoidValued

Compare with previous version

By Hans-Peter Deifel on 2019-03-21T18:48:58 (imported from GitLab project)

merged

By Hans-Peter Deifel on 2019-03-22T09:05:51 (imported from GitLab project)