Reasoning theories: towards an architecture for open mechanized reasoning systems