Effective field theory for phonons, cosmological solids and dark energy