9. A method of claim 8 for defining a canonical form for a set of simultaneous parameterized context qualified type equations that when taken as a set provide a consistent set of constraints on parameter values within said set of simultaneous parameterized context qualified type equations such that parameters whose values are context qualified types are resolvable to a unique context qualified type, comprising: defining a left side context qualified type parameter to be equal to a right side context qualified type expression where said right side context qualified type expression has no embedded left side context qualified type parameters from said simultaneous parameterized context qualified type equations, or defining a left side context qualified type parameter to be equal to a right side context qualified type expression where said right side context qualified type expression has one or more embedded left side context qualified type parameters, and repeating previous steps until there is a type equation for each said context qualified type parameter, such that said context qualified type parameter appears as a left side context qualified type parameter.
13. A method of claim 9 for automatically instantiating existential parameters initially using stand-in values for said existential parameters as a side effect of solving a set of simultaneous parameterized context qualified type equations, where said stand-in values later become actual values when said actual values become determinable, comprising: determining Anaphoric Reference Protocol for Synchronization expressions stand-ins for said values of said existential parameters, and using said Anaphoric Reference Protocol for Synchronization expressions to determine said values.