Coupled quintessence and the halo mass function | Synapse