Proximity in construction by quasi-metrics of point-free geometries