Fix in the binding semantics and constraint inference for type arguments.