added support for simple theory mapping files