Lieb-Schultz-Mattis-type theorems and other nonperturbative results for strongly correlated systems with conserved dipole moments | Synapse