Documenting new subtyping rules for VarArg