Apartness and Uniformity: A Constructive Development