pattern x.* and constructors

[rgrig]

The pattern x.* will match calls to constructors (because their name fits "any"="*"), but the sub-pattern x will apply to the first argument of the constructor, which is counter-intuitive.

[rgrig]

One option is to make sure that constructors are handled as static methods, for matching on patterns. (NikosT).