LOGIC-132: "PMap is non-storable" exception when using featurec with
nested feature map.

The recursive `featurec` support was a bit naive. `unify-with-pmap*`
nows handles the various cases properly.