Bayesian strong gravitational-lens modelling on adaptive grids: objective detection of mass substructure in Galaxies | Synapse