Avoid introducing additional universes when doing pruning in evarsolve.
Fix discrimination net which was not recognizing primitive projections.
Avoid hconsing instances during appends and conversions from/to arrays.