Generic inference

Generic calls, diamond constructors, collection literals, and numeric literals share one bidirectional constraint-solving model. See formal type inference for the rules, solving order, and failure boundaries.