load_theory_mappings function

Load theory mappings from external file or use defaults