Multiplicity-free products and restrictions of Weyl characters | Synapse