semantic_space_builder_mp : take a matcher and no more a lambda function to construct a matcher
mp_file_stream introduction