It would certainly be good to have promoted types in the pieceList satellite element. But I am not sure that -> would be understood as promotion. Wrting out the text 'promotes to' would consume too much space, though. (And lack of space could be a show stopper anyway.) I suppose I could expand the (bluish) header message of the list for Diagrams that define a promoOffset to indicate that the promoted type follows.
It will have to wait until I have access to my PC again, rather than just a tablet.
It would certainly be good to have promoted types in the pieceList satellite element. But I am not sure that -> would be understood as promotion. Wrting out the text 'promotes to' would consume too much space, though. (And lack of space could be a show stopper anyway.) I suppose I could expand the (bluish) header message of the list for Diagrams that define a promoOffset to indicate that the promoted type follows.
It will have to wait until I have access to my PC again, rather than just a tablet.