update UniMath to latest version

[arnoudvanderleer]

@benediktahrens Is this still relevant?

[benediktahrens]

No, closing - thanks a a lot,@arnoudvanderleer !