Generalized Tur\'an results for matchings | Synapse