[m-dev.] new higher-order predicates for map/tree234.

[Thomas Charles CONWAY]

Andrew Bromage, you write:
> > Index: library/array.m
> > ===================================================================
> 
> Thanks for saving the trouble of me committing this change.
> 
> You should add this to the log, and (as both Fergus and Tyson recommended)
> change array_moduleX to something more meaningful.

Oops. Review is good for something...

Thomas
-- 
Thomas Conway    || conway at cs.mu.oz.au
AD DEUM ET VINUM || Nail here [] for new monitor.