Locally Boolean, globally intuitionistic - a new kind of quantum space and its topology