Composing and Controlling Search in Reasoning Theories using Mappings