rename muni and muniinfo to topos and placeinfo, respectively