Match Symbols In Build Patterns

• 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]

-- EelcoVisser - 10 Dec 2001