add intLangExtraTheory to the imports of bootstrapTheory

since some things it needs were moved to there