5. A method of claim 1 where an element of a context qualified type definition may be a precursor element that stands in for some concrete entity whose value is not yet know when said context qualified type is initially defined.
5. A method of claim 1 where an element of a context qualified type definition may be a precursor element that stands in for some concrete entity whose value is not yet know when said context qualified type is initially defined. 6. A method of claim 5 where said precursor element may be a variable parameter.