1. A computer-implemented method of processing a module specification to produce predicator definitions, comprising the steps of: viewing a module, said module included in said module specification, providing a predicator base class definition, said predicator base class definition included in said predicator definitions, and said predicator base class definition including a plurality of generic predicator apply operations, providing a promissary reference base class definition, said promissary reference base class definition included in said predicate definitions, said promissary reference base class definition including a resolve operation, and said promissary reference base class definition including a plurality of generic promissary acceptor operations, dispatching a plurality of categorical classes, said categorical classes included in said module; viewing a categorical class, said categorical class included in said categorical classes, accumulating a generic predicator apply operation corresponding to said categorical class to said generic predicator apply operations, accumulating a generic promissary acceptor operation corresponding to said categorical class to said generic promissary acceptor operations, providing a promissary dispatch in a categorical class definition corresponding to said categorical class, said dispatch in turn dispatching to said generic promissary acceptor operation, dispatching a plurality of class members, said class members included in said categorical class; and viewing a datum, said datum included in said class members, dispatching a view to a datum type, said datum type associated with said datum, receiving a value type, providing a value predicator specialization corresponding to said value type for said datum, said value predicator specialization deriving from said predicator base class definition, and said value predicator specialization including a value specific predicator apply operation, corresponding to said generic predicator apply operation, and accumulating said value predicator specialization to a plurality of predicator specializations, said predicator specializations included in said predicator definitions, receiving a reference type, testing for a meron qualification, said meron qualification included in said datum, according to the success of said test for said meron qualification, providing an instantiating predicator specialization, corresponding to said reference type for said datum, said instantiating predicator specialization deriving from said predicator base class definition, and said instantiating predicator specialization including an instantiating specific predicator apply operation, corresponding to said generic predicator apply operation, and and accumulating said instantiating predicator specialization to said predicator specializations, according to the failure of said test for said meron qualification, providing a promissary predicator specialization, corresponding to said reference type for said datum, said promissary predicator specialization deriving from said predicator base class definition, said promissary predicator specialization including a promissary specific predicator apply operation, corresponding to said generic predicator apply operation, accumulating said promissary predicator specialization to said predicator specializations, writing a promissary reference definition, said promissary reference definition deriving from said promissary reference base class definition, said promissary reference definition including a specific promissary acceptor operation, and said specific promissary acceptor operation corresponding to said generic promissary acceptor operation, and accumulating said promissary reference definition to a plurality of promissary reference definitions, said promissary reference definitions included in said predicator definitions.