fix bug in post-processing of embeddings

This was a non-critical bug that did not always produce "minimal"
embeddings. The problem was that the type family ComprPos was not called
recursively if joining of a sum failed.