Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
More aggressive ARRAY-RANK type derivation
* Use list-abstract-type-function to derive possible values for
ARRAY-RANK even in the face of union/intersection/negation types.
* Fixes lp#1310574 (triggered by a prior fix to array type union).
* Plus tests derived from opticl.