fixed problems in simplTranslators with the new simpl. moved compiler to bigSemanticsSDK.