* No WildCards should occur in Build's, or a wildcard could be interpreted as the identity strategy in a TermWrap interpretation.

	* As patterns may only be used in matching positions, or is there a sensible interpretation? how about considering it as the basis for a TermWrap: =!t1[x@t2]= is equivalent to =!t1[<!t2>x]=

-- Main.EelcoVisser - 10 Dec 2001 <br />
----
CategoryBugs | StrategoBugs | CategoryToDo | LanguageExtensions