Irreducible modules for map Heisenberg–Virasoro Lie algebras | Synapse