2-Local derivations of Heisenberg–Virasoro type Lie algebras | Synapse