POINT-FREE FOUNDATION OF GEOMETRY LOOKING AT LABORATORY ACTIVITIES