Expand a wildcard pattern, or a binding pattern, to a Constructor Pattern.