Def uniform_space.separation_quotient.map

feat(topology): split uniform_space and topological_structure

feat(analysis/topology/completion): comm_ring on separation quotient, completion (separation_quotient A) is equivalent to completion A