Some constructive results related to compactness and the (strong) Hausdorff property for locales