Attempt at desugaring PMany with intuitionistic context