PROBCORE-404 Implemented basic translator for Theories (but not sufficiently tested yet)