Single-cell and spatial transcriptomics enables probabilistic inference of cell type topography | Synapse