Apartness and uniformity : A Constructive Development.