Started the MEAQR topology, fixed a few things in IHAQR topo, and on bounded-space concept and topos.