Bugfix: Coproduct caching
Implementation of DirectSum
Bug in InstallSet, Cache key was too long