Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory (Logical Methods in Computer Science, 2024)