Extending the standard model effective field theory with the complete set of dimension-7 operators | Synapse