ppsimpl package
Add a conflict with coq_extlib, that shadows PositiveMap.t somehow...