[conformance] Add examples that require bidi inference of list literals after specialization inference

[conformance] Add examples that require bidi inference of list literals after specialization inference #1460