fixed errors with TheoryComponentFormat constructor and with Examiner creation code