Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/wui into typeclasses