Expands a wildcard pattern or a binding pattern, to a Constructor pattern.